Filters








85 Hits in 4.4 sec

On the Satisfaction Probability of k-CNF Formulas [article]

Till Tantau
2022 arXiv   pre-print
The proof of the trichotomy hinges on a new order-theoretic insight: Every set of kcnf formulas contains a formula of maximum satisfaction probability.  ...  This deceptively simple result allows us to (1) kernelize ksat-prob_≥δ, (2) show that the variables of the kernel form a strong backdoor set when the trichotomy states membership in AC^0 or NL, and (3)  ...  Note that while the visualization may suggest that the spectra become dense close to 0, they are in fact nowhere dense (being well-ordered by >).  ... 
arXiv:2201.08895v2 fatcat:rt3jj3mlyfcyrf5u3tvqc6dyha

Elimination distance to bounded degree on planar graphs [article]

Alexander Lindermayr, Sebastian Siebertz, Alexandre Vigny
2021 arXiv   pre-print
We prove that the problem is fixed-parameter tractable on planar graphs, that is, there exists an algorithm that given a planar graph G and integers d and k decides in time f(k,d)· n^c for a computable  ...  and is nowhere dense.  ...  The related concept of recursive backdoors has recently be studied in the context of efficient SAT solving [20] .  ... 
arXiv:2007.02413v2 fatcat:ethiwpaxjjhv7fcnhq7q3lj4ny

On the Satisfaction Probability of k-CNF Formulas

Till Tantau, Shachar Lovett
2022
The proof of the trichotomy hinges on a new order-theoretic insight: Every set of kCNF formulas contains a formula of maximal satisfaction probability.  ...  This deceptively simple result allows us to (1) kernelize kSAT-PROB_{≥ δ}, (2) show that the variables of the kernel form a strong backdoor set when the trichotomy states membership in AC⁰ or NL, and (  ...  Note that while the visualization may suggest that the spectra become dense close to 0, they are in fact nowhere dense (being well-ordered by >).  ... 
doi:10.4230/lipics.ccc.2022.2 fatcat:gwcdonyuvfairlph4322xnnocm

Recent developments in kernelization: A survey

Stefan Kratsch
2014 Bulletin of the European Association for Theoretical Computer Science  
There is a nice hardness theory, based on the complexity theoretic assumption coNP NP/poly, which can be used to prove lower bounds for kernel size.  ...  Furthermore, detailed comments of Bart Jansen and Somnath Sikdar on their work are gratefully acknowledged.  ...  [36] extended this even further to the larger classes of graphs of bounded expansion, locally bounded expansion, and nowhere dense graphs.  ... 
dblp:journals/eatcs/Kratsch14 fatcat:7hpcf4kyvvgi5ku3iueodwrpku

Cultural Differences and Urban Spatial Forms: Elements of Boundedness in an Accra Community

Deborah Pellow
2001 American Anthropologist  
It is the most densely populated with the oldest structures. Night Market field is on Malam Bako Street.  ...  set behind the Gaskiya Cinema, the cost was 200 cedis.  ... 
doi:10.1525/aa.2001.103.1.59 fatcat:al5u2lvx3jbdtd642ae4rzh5na

ON THE CONSTRUCTION OF RELATIVISTIC QUANTUM THEORY: A Progress Report [chapter]

H. PIERRE NOYES
2001 Series on Knots and Everything  
|A still simpler alternative, which occurred to tne in writing this paper, would be to allow the null string to occur as one of the elements in the universe.  ...  For those who wish the integers themselves to be constructed, one can follow Gefwert's approach in terms of primitive recursive functions , or follow Kilmister's foundational discussion in Appendix I where  ...  One of these is set out in T of !, p. 193.  ... 
doi:10.1142/9789812810090_0004 fatcat:nuq33c4ptfd3la7a2lbm3bhpcm

Dagstuhl Reports, Volume 5, Issue 9, September 2015, Complete Issue [article]

2016
The first version aims to find an uncovered point in the space, given a sequence of nowhere dense closed sets.  ...  Besides that, upper bounds in the W-hierarchy are given for a problem related to the existence of weak backdoor sets, for CNF(2) and other tractable cases of SAT.  ...  Its main question is "Which set existence axioms are needed to prove the theorems of ordinary mathematics?", and many built on the one developed by Raz [2] and later extended by Kumar et al.  ... 
doi:10.4230/dagrep.5.9 fatcat:ui4i2h322jaldj3arfhocrguky

Chapter 3. Selected Design Issues [chapter]

Sabine Helwig, Falk Hüffner, Ivo Rössling, Maik Weinard
2010 Lecture Notes in Computer Science  
, AHU74, GT01, Lev03, MS08] usually provide very instructive examples on how to use and combine these design paradigms.  ...  If there are several alternatives and a theoretical analysis does not reveal a clear winner, design decision should be based on an experimental evaluation.  ...  One all too common backdoor for non-robustness to come into play is too much condence in computed solutions.  ... 
doi:10.1007/978-3-642-14866-8_3 fatcat:ijxfuuijdvchraj4s2qkdhanx4

Patriotism Means Resistance

Francis Xavier Kroncke
2005 Social Science Research Network  
On that day I knew that our struggle was set in the most proper of all settings.  ...  But the one hold the legal structure has on him is that he must at least say, "motion denied." Even to a legally dense head like mine the grim reality was seeping in.  ...  But as we all walked back, dispersing slowly at street-corners, 153 towards our parked cars, we all knew that once again together we had turned death over tit set life free!  ... 
doi:10.2139/ssrn.1667522 fatcat:4qxi5fw7qffupeupefcsbx62xe

Standard procedures

Samuel H. Hutchings
2018
Mindy had yet to be released, the doctors insisted on keeping her for precautionary reasons. The window was a mirror. Clement stepped towards his own image, now reflected in the glass.  ...  Oak Ridge was set far back in the cove, the campgrounds flanked by acres of dense forest. I still had nearly a mile of territory to cover, perhaps more.  ...  Nine times out of ten, they'll opt to guard their backdoor and cough up the football. Can't blame 'im, really.  ... 
doi:10.7282/t35h7kpg fatcat:us2eruxdo5aonit5advmwp22bi

Lifestyle and Entertainment in Yangzhou

William T. Rowe
2010 T'oung pao (Print)  
ACKNOWLEDGEMENTS The scripts under study here were photographed in May 2000 by my friend, the late Danish photographer Jette Ross (1936Ross ( -2001, with whom I worked closely and co-authored several books on  ...  I am 'nowhere' -that is nowhere near west side or downtown Yangzhou's gardens or its glitz, but surrounded by pile after pile of steel rods, of screws, nuts and bolts, of motors and boat hulls.  ...  She shut the door, and sat on the edge of the bed in a stupor for a while. The depiction of a particular region demands that one look at oneself from the outside (Foote 2001: 47 ).  ... 
doi:10.1163/156853211x553438 fatcat:g6msusiel5atpfiwkheczsthwu

That bright & beautiful day

Martin Wiley
2012
Mama set the tray on the table and hopped up onto the swing.  ...  The rage, the fury swirled around him like dense yet bright smoke, and somehow he remained clean, untouched.  ...  she sat on.  ... 
doi:10.7282/t3gm8679 fatcat:6is6pbpr5be27p67vusrmkoz7e

Rule by Aesthetics: World-Class City Making in Delhi [chapter]

D. Asher Ghertner
2011 Worlding Cities  
the one hand, and the "polluting" on the other.  ...  Specifically, I trace how a series of political 2 technologies-including government-run slum surveys, media campaigns, and a broad set of changes in the meaning of landscape-train slum residents to see  ...  P.C., which nowhere states that the party responsible for a nuisance is to be displaced.  ... 
doi:10.1002/9781444346800.ch11 fatcat:4hzwdc2zlbdztdsqsmap7tud4m

Man cave

Randolph Schmidt
2013
A pool table, already set up, sat to the right with a cue lain artfully over one corner. A poker table with the cards already dealt was situated on the left.  ...  One chair sat in front of the set, and it was not a plush recliner, but rather an old wooden seat that had been rejected from the upstairs kitchen.  ...  A couple teenage boys sat nearby, both wearing black tee shirts advertising bands Pete had never heard of. They laughed constantly: an ugly, loud bark that could split skin.  ... 
doi:10.7282/t33x859g fatcat:oaiu7qsvmzgq7jejgh6w3iq6we

Toward an Alternative Culture of Work: Political Idealism and Economic Practices in West Berlin Collective Enterprises

Mark Holmstrom, Birgit Muller
1992 Man  
Acknowledgments xi Acknowledgments The research on which this book is based was supported financially by a St. John' s Colleg e scholarship.  ...  Since then, the seat at the head of the table had usually remained unoccupied, and w hen one member sat there itw as jokingly said that he would become the next "boss."  ...  In 1982, for example, a toy-malcing cooperativ e in Lambeth receiv ed 13, 783 Pound Sterling to set up an enterprise with sev en workers. 2 The CDAs gave advice on the financial set-up and on the legal  ... 
doi:10.2307/2804092 fatcat:z2tthwuu2betph7blzbapglhr4
« Previous Showing results 1 — 15 out of 85 results