702 Hits in 2.5 sec

On Monadic NP vs Monadic co-NP

R. Fagin, L.J. Stockmeyer, M.Y. Vardi
1995 Information and Computation  
The power of these techniques is further demonstrated by using them (actually, using just the first two techniques) to give a very simple proof of the separation of monadic NP from monadic co-NP without  ...  Monadic NP is the class of problems expressible in monadic Z;, i.e., 1: with the restriction that the second-order quantifiers range only over sets (as opposed to ranging over, say, binary relations).  ...  ACKNOWLEDGMENT We are grateful to Phokion Kolaitis for useful comments on a previous draft of this paper. Received February 24, 1992; final manuscript received May 24, 1994  ... 
doi:10.1006/inco.1995.1100 fatcat:vyvh7um5nzdklpr3q3wtf7nmte

Page 767 of Mathematical Reviews Vol. , Issue 97B [page]

1997 Mathematical Reviews  
co-NP.  ...  Leo Esakia ( Tbilisi) 97b:03049 03C13 03C85 03D15 68Q15 Fagin, Ronald (1-IBM2; San Jose, CA); Stockmeyer, Larry J. (1-IBM2; San Jose, CA); Vardi, Moshe Y. (1-IBM2; San Jose, CA) On monadic NP vs monadic  ... 

Tree-width and the monadic quantifier hierarchy

J.A. Makowsky, J.P. Mariño
2003 Theoretical Computer Science  
But on planar graphs, three-colorability is NP-complete. Hence, if P = NP and on K every existential monadic second-order property is in P, then K has bounded tree-width.  ...  It is well known that on classes of graphs of bounded tree-width, every monadic second-order property is decidable in polynomial time. The converse is not true without further assumptions.  ...  Let Co m and Co n be two colliers. such that Co m is a topological minor of Co n . Then m= n. Proof.  ... 
doi:10.1016/s0304-3975(02)00449-8 fatcat:d7yphiegdze7thxpaovk22cmvu

Circular Dichroism and Exciton Effect of Syndiotactic Methacrylic Polymers with Chiral Diacyl Hydrazide Side Chains V. Number of Exciton Coupled Monomeric Units

E Klesper, J Thevissen, D Krieger
1988 Polymer journal  
The CD spectra of poly(methacrylic acid-NP(L-lactoyl)hydrazide) and poly(methacrylic acid-NP(N-tert-butyloxycarbonyl-L-seryl) hydrazide) were studied in their deprotonated state, i.e., when containing  ...  Tacticity / Poly(methacrylic acid diacyl hydrazide) / Circular Dichroism Exciton Effect / Conformational Order / Conformational Statistics / Simulation / To obtain conformationally ordered vinyl polymers, one  ...  (methacrylic acid hydrazide) -(methacrylic acid-NP(N-tert-butyloxycarbonyl-L-seryl)hydrazide) ((MH)-s-co-(L-MH-BocS)).  ... 
doi:10.1295/polymj.20.421 fatcat:6b4mjm5ey5gotpueqksxoefqvy

Yuri, Logic, and Computer Science [chapter]

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
2010 Lecture Notes in Computer Science  
We show that affirmative answers to several of these questions are equivalent to natural principles like NP = co-NP, (NPco-NP) = P, and the shrinking principle for NP sets.  ...  Information and Control 55 (1982) , 80-88 Papadimitriou and Yannakakis were interested whether Unique Sat is hard for {L − L : L, L ∈ N P } when NP differs from co-NP (otherwise the answer is obvious).  ... 
doi:10.1007/978-3-642-15025-8_1 fatcat:ehjpkiqxzbh55k7waxqwzfhw6y

Page 4885 of Mathematical Reviews Vol. , Issue 95h [page]

1995 Mathematical Reviews  
Vardi, On monadic NP vs. monadic co-NP (extended abstract) (19-30); Harry Buhrman, Peter van Helden and Leen Torenvliet, P-selective self-reducibles sets: a new characterization of P (44-51); Ashish V.  ...  Selman, P-selective sets, and reducing search to decision vs. self-reducibility (52-64); Jay  ... 

2 Conceptual elucidations [chapter]

2021 Thinking of Space Relationally  
For each monad, the sensible ideal order and the bodily position conditioned particular point of view co-shape the 'confused partial' perception of the monads and their relative movements.  ...  One causal agent proposed by NP theory is also 'routinized practices.'  ... 
doi:10.14361/9783839455876-004 fatcat:xoo5ilvfireo5ggwwgf33zhbvm

Causation and Reflexivity in Kannada [chapter]

Jeffrey Lidz
2004 Studies in Natural Language and Linguistic Theory  
The grammatical interpretation of the (c) cases would have a null pronoun as one of the arguments and hence an interpretation like "I made someone verb...  ...  Conversely, if a COS verb has a morphologically unmarked transitive use, it does not have a morphological causative with only two arguments. 3 5) a. baagil-u tere-d-itu door-NOM open-PST-3SN 'The door  ...  Rather, the lack of strings of the form REFL-CAUS appears to be problematic on a view in which multiple vs can occur.  ... 
doi:10.1007/978-1-4020-2719-2_4 fatcat:jmifw7gsgrhx3bfborsfywaeu4

Syntactic categories for dependent type theory: sketching and adequacy [article]

Daniel Gratzer, Jonathan Sterling
2021 arXiv   pre-print
We argue that locally Cartesian closed categories form a suitable doctrine for defining dependent type theories, including non-extensional ones.  ...  On this basis, we argue for the use of locally Cartesian closed categories as a simpler alternative to Uemura's representable map categories.  ...  The theory of -monads ( . · ) A strict -monad T on Cat (resp. Cat g ) is an ordinary monad on Cat regarded as a -category, admitting an enrichment over Cat (resp. Grpd).  ... 
arXiv:2012.10783v2 fatcat:poautfv7dneaja6vhfcpnxzh4q

Convergence Laws for Random Graphs [chapter]

James F. Lynch
1998 Logic Colloquium '95  
A weaker form of convergence law is proven for the monadic second-order language.  ...  Two formal languages which express properties of words are considered: a first-order predicate calculus, and a monadic second-order calc'ulus.  ...  Since v == 'ID, Player II can win the game on 11 and tv, and this strategy gives a winning strategy for Player II on vs and tvs.  ... 
doi:10.1007/978-3-662-22108-2_9 dblp:conf/logicColl/Lynch95 fatcat:xnez2ltz7bfanf7vg7j7q7fcjm

Polydefinites in Greek: Ellipsis, close apposition and expletive determiners

2011 Journal of Linguistics  
This ensures the restrictive interpretation of one DP over the other.  ...  This operation, semantically tantamount to set intersection, is constrained to apply only when the resulting set is not co-extensive with either initial set.  ...  As Kolliakou's paradigm shows, the interpretation of polydefinites is different from that of monadics only with respect to the adjective (obligatory vs. optional restrictive interpretation).  ... 
doi:10.1017/s0022226711000326 fatcat:uw2b5jaw4bfffc7bkuikzmjsba

Definiteness, partitivity, and domain restriction: A fresh look at definite reduplication [chapter]

Urtzi Etxeberria, Anastasia Giannakidou
2019 Zenodo  
Acknowledgements We thank Alda Mari and Marika Lekakou for their comments on earlier material related to this paper.  ...  First, [o-kathe NP] cannot co-occur with the demonstrative pronoun (aftos 'this', ekinos 'that') -which in Greek, like in many other languages, must embed DPs (Stavrou 1983; Stavrou & Horrock 1989; Alexiadou  ...  The simple monadic definite, on the other hand, lacks C and there is no partitive effect. (53) to kokkino podhilato ('the red bike') = 𝜄 (red(x) ∩ bike (x)).  ... 
doi:10.5281/zenodo.3252031 fatcat:vvelhw5wtvdyhmwygoktyiwocm

Logic for Unambiguous Context-Free Languages [article]

Yassine Hachaïchi
2016 arXiv   pre-print
We obtain a new connection between two undecidable problems, a logical one and a language theoretical one.  ...  A fragment of the logic characterizing context free languages given by Lautemann, Schwentick and Th\'erien [18] based on implicit definability is used for this aim.  ...  Logic vs.  ... 
arXiv:1604.04139v1 fatcat:zl7oca2anrcjjp7rhklibeione

Page 1835 of Mathematical Reviews Vol. , Issue 98C [page]

1998 Mathematical Reviews  
Lutz and Elvira Mayordomo, Weakly useful sequences (393-404); Thomas Schwentick, Graph connectivity, monadic NP and built-in relations of moderate degree (405-416); Thomas A. Henzinger, Peter W.  ...  Royer, Semantics vs syntax vs computations: machine models for type-2 polynomial-time bounded functionals (424-436); Nicholas Tran, On P-immunity of exponential time complete sets (437-440).  ... 


Ivan Rocha
2020 Alfa: Revista de Lingüística  
In this case, the specifier is depicted by the NP taso 'man.'  ...  the NP boet marked by a postposition, and (iii) the verb hit.  ... 
doi:10.1590/1981-5794-e11678 fatcat:f5valcmvq5dgdivu35gidzxnwe
« Previous Showing results 1 — 15 out of 702 results