Filters








15,653 Hits in 3.0 sec

A Dichotomy for Regular Expression Membership Testing [article]

Karl Bringmann, Allan Grønlund, Kasper Green Larsen
2016 arXiv   pre-print
In total, we prove matching upper and lower bounds for any type of bounded-depth homogeneous regular expressions, which yields a full dichotomy for regular expression membership testing.  ...  We study regular expression membership testing: Given a regular expression of size m and a string of size n, decide whether the string is in the language described by the regular expression.  ...  Finally, in Section 7 we prove that our results yield a full dichotomy for homogenous regular expression membership testing.  ... 
arXiv:1611.00918v2 fatcat:nebhqab4ong57en6otedeuvzxm

A Dichotomy for Regular Expression Membership Testing

Karl Bringmann, Allan Gronlund, Kasper Green Larsen
2017 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS)  
We study regular expression membership testing: Given a regular expression of size m and a string of size n, decide whether the string is in the language described by the regular expression.  ...  We design a deterministicÕ(n) + O(m) algorithm for | + •+-membership and an expected time n 1+o(1) + O(m) algorithm for | + •|-membership.  ...  Finally, in Section 7 we prove that our results yield a full dichotomy for homogenous regular expression membership testing.  ... 
doi:10.1109/focs.2017.36 dblp:conf/focs/BringmannGL17 fatcat:kpid63fkprefpdlphdzs3yfuza

A Quantum Query Complexity Trichotomy for Regular Languages [article]

Scott Aaronson, Daniel Grier, Luke Schaeffer
2019 arXiv   pre-print
Our result implies an equivalent trichotomy for the approximate degree of regular languages, and a dichotomy---either Theta(1) or Theta(n)---for sensitivity, block sensitivity, certificate complexity,  ...  We present a trichotomy theorem for the quantum query complexity of regular languages. Every regular language has quantum query complexity Theta(1), ~Theta(sqrt n), or Theta(n).  ...  Acknowledgements We thank Andris Ambainis, Shalev Ben-David, Robin Kothari, Han-Hsuan Lin, and Ronald de Wolf for useful discussions.  ... 
arXiv:1812.04219v3 fatcat:zo3oe6f64bfgrmhqsvxu3m4qqy

Decidability of membership problems for flat rational subsets of GL(2, Q) and singular matrices

Volker Diekert, Igor Potapov, Pavel Semukhin
2020 Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation  
We also show a dichotomy for nontrivial group extension of GL(2, Z) in GL(2, Q): if is a f.g. group such that GL(2, Z) < ≤ GL(2, Q), then either GL(2, Z) × Z , for some ≥ 1, or contains an extension of  ...  It turns out that in the first case the membership problem for is decidable but the equality problem for rational subsets of is undecidable.  ...  Rational sets are those which can be specified by regular expressions. A special case is the problem above: membership in the semigroup generated by the matrices 1 , . . . , .  ... 
doi:10.1145/3373207.3404038 dblp:conf/issac/DiekertPS20 fatcat:65rgw7q4rjdmrmjbvawecvsczq

Page 77 of Social Psychology Quarterly Vol. 24, Issue 1 [page]

1961 Social Psychology Quarterly  
PROCEDURE The subjects were 39 student nurses, who constituted the entire regular membership of the past year’s senior class at a university school of nursing.  ...  This procedure may have resulted in assign- ing some highly task-identified persons to the lower half of the dichotomy, but such error would lead to a conservative test of the hypothesis.  ... 

The Helly property and satisfiability of Boolean formulas defined on set families

Victor Chepoi, Nadia Creignou, Miki Hermann, Gernot Salzer
2010 European journal of combinatorics (Print)  
In this paper, we study the problem of satisfiability of Boolean formulas ϕ in conjunctive normal form (CNF) whose literals have the form v ∈ S and express the membership of values to sets S of a given  ...  We establish the following dichotomy result.  ...  Acknowledgment The second algorithm for testing the Helly property is the fruit of a discussion of the authors with Gérard Cornuejols and Yann Vaxès.  ... 
doi:10.1016/j.ejc.2009.03.022 fatcat:bbtlls7bebfljeixfe7vq3z474

Beyond dichotomous explanations: Explaining constitutional control of the executive with fuzzy-sets

PAUL PENNINGS
2003 European Journal of Political Research  
These hypotheses are tested with the help of fuzzy-sets that allow for varying degrees of membership that go beyond the presence/absence suggested by these dichotomies.  ...  Hence, the fuzzy-set logic presents a promising new tool for comparativists that can be used to reveal causalities.  ...  reviewers for giving me useful instructions on how to present the analysis.  ... 
doi:10.1111/1475-6765.00095 fatcat:aiduo66u4rgu3pofzcgapvj5xa

Socionic models of a person and their application in aviation

Olga V. ARINICHEVA, Saint Petersburg State University of Civil Aviation, Natalia A. LEBEDEVA, Aleksei V. MALISHEVSKII, Saint Petersburg State University of Civil Aviation, Saint Petersburg State University of Civil Aviation
2020 Revista Espacios  
The practical application of the proposed models is focused on assessing professional aptitude of operators who have to process massive flows of information at a forced pace (for example, aircraft pilots  ...  The article contains mathematical models of a person's socionics characteristics based on fuzzy set theory.  ...  It should be noted that we aim to find membership functions for psychological dichotomies as a whole rather than for one psychological function or attitude because a function and an attitude within one  ... 
doi:10.48082/espacios-a20v41n43p10 fatcat:kctr3ln2jfer3i2qy4jibzc4z4

Citizenship with a Vengeance

Catherine Dauvergne
2007 Theoretical Inquiries in Law  
Seyla Benhabib argues that the elements of citizenship are being disaggregated in a way that separates social membership from political membership and thus creates a space for membership without citizenship  ...  The United States and Canada both administer a formal written test at approximately a primary school level of difficulty. Some applicants in each country are exempted from this testing.  ... 
doi:10.2202/1565-3404.1158 fatcat:a3tufzdnrjerbcedbtwdikhjhu

XML data exchange

Marcelo Arenas, Leonid Libkin
2005 Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '05  
on classes of regular expressions used in DTDs.  ...  We then move to query answering, and prove a dichotomy theorem that classifies data exchange settings into those over which query answering is tractable, and those over which it is coNP-complete, depending  ...  Acknowledgments We are very grateful to Ron Fagin, Phokion Kolaitis, and Lucian Popa for many helpful discussions during the early stages of this project, and to Pablo Barceló and Wenfei Fan for their  ... 
doi:10.1145/1065167.1065171 dblp:conf/pods/ArenasL05 fatcat:7sbvhte7mnapxnp4w7uwdopz5e

Ideal Membership Problem for Boolean Minority [article]

Arpitha P. Bharathi, Monaldo Mastrolilli
2020 arXiv   pre-print
The Ideal Membership Problem (IMP) tests if an input polynomial f∈F[x_1,...,x_n] with coefficients from a field F belongs to a given ideal I ⊆F[x_1,...,x_n].  ...  A dichotomy result between "hard" (NP-hard) and "easy" (polynomial time) IMPs was recently achieved for Constraint Satisfaction Problems over finite domains [Bulatov FOCS'17, Zhuk FOCS'17] (this is equivalent  ...  dichotomy conjecture for finite domain CSPs.  ... 
arXiv:2006.16422v1 fatcat:debb2aq6fnea5e526g6b5veqgq

Freedom of Association after Roberts v. United States Jaycees

Douglas O. Linder
1984 Michigan law review  
Perhaps this is why O'Connor says that the Jaycees present a "relatively easy case for application of the expressive-commercial dichotomy." 104 S. Ct. at 3261.  ...  THE COMMERCIAL ASSOCIATION -EXPRESSIVE ASSOCIATION DICHOTOMY Justice O'Connor would divide all associations into two groups: commercial associations and expressive associations.  ... 
doi:10.2307/1288622 fatcat:gdb7gb4dxjcu5fqjljvtz6woxe

Page 49 of California Lawyer Vol. 8, Issue 5 [page]

1988 California Lawyer  
The Supreme Court, however, express- ly reserved deciding the extent to which the First Amendment protects the rights of individuals to associate in private clubs with selective membership.  ...  The law de- fined clubs as “not distinctly private” if they have more than 400 members, pro- vide regular meal service, and regularly “receive payments for dues, fees, use of space, facilities, services  ... 

Assessing sobriety and successful membership of Alcoholics Anonymous

Saoirse Nic Gabhainn
2003 Journal of Substance Use  
In relation to length of membership, 12 months was chosen as the dichotomy point, because in AA, new members are advised not to make any life-changing decisions for at least 1 year.  ...  Relationships between measures of AA membership Chi square tests were conducted between all the dichotomized membership measures discussed above.  ... 
doi:10.1080/1465989031000067254 fatcat:mlgsqxmtnfhq5hg6ozyv2ah6gm

Assessing sobriety and successful membership of Alcoholics Anonymous

Saoirse Nic Gabhainn
2003 Journal of Substance Use  
In relation to length of membership, 12 months was chosen as the dichotomy point, because in AA, new members are advised not to make any life-changing decisions for at least 1 year.  ...  Relationships between measures of AA membership Chi square tests were conducted between all the dichotomized membership measures discussed above.  ... 
doi:10.1080/14659890306278 fatcat:yapmirbrmbd7vhkq7jyqps7bsm
« Previous Showing results 1 — 15 out of 15,653 results