Search results
Jump to navigation
Jump to search
- | title = The complexity of membership problems for circuits over sets of integers | [[NEXPTIME]]-complete ...4 KB (535 words) - 07:51, 6 July 2021
- ...useful because it reduces computational problems to graph [[reachability]] problems. ...follows that graph-reachability is [[Complete (complexity)|complete]] for NL.<ref name="papa">[[Christos Papadimitriou|Papadimitriou, Christos H.]] (199 ...4 KB (646 words) - 05:00, 19 June 2024
- === Algorithmic problems === For circuits which use all the labels, all these problems are equivalent. ...11 KB (1,583 words) - 17:51, 19 December 2023
- The most important problem which is complete for '''CC''' is a decision variant of the [[stable marriage problem]]. ...ator circuit value problem |year=2012|class=cs.CC }}</ref> is the class of problems '''[[AC0|AC<sup>0</sup>]]''' reducible to CCVP. ...6 KB (936 words) - 10:06, 9 January 2025
- ...[[complexity class]]es, rather than computational complexity of individual problems and algorithms. It involves the research of both internal structures of var ...show that both deterministic and nondeterministic machines can solve more problems in (asymptotically) more space, subject to certain conditions. For example, ...6 KB (819 words) - 09:43, 22 October 2023
- ...nd for many years afterward, pitchers were routinely expected to pitch a [[complete game]], and their [[Win (baseball)|win–loss record]] was considered suffici ...1912 (the outcome was called "Heydler's statistic" for a while, after then-NL secretary [[John Heydler]]), and the [[American League]] later accepted thi ...13 KB (2,051 words) - 08:33, 29 November 2024
- ...e [[Valiant–Vazirani theorem]], concerning unique solutions to NP-complete problems, has a simpler proof using the isolation lemma. This is proved by giving a ...Reinhardt and Allender later used the isolation lemma again to prove that NL/poly = UL/poly.<ref>{{harvtxt|Reinhardt|Allender|2000}}</ref> ...14 KB (2,075 words) - 16:58, 17 October 2024
- ...chastic Shortest Path Problem (d-SSPPR or R-SSPPR) and is [[NL-complete|NP-complete]]. The first variant is harder than the second because the former can repre ...ed the off-line problem because an algorithm for such a problem would have complete information of the graph. ...11 KB (1,838 words) - 10:36, 4 October 2024
- ...ach easy-to-verify problem can be solved as fast as SAT, which is hence NP-complete.]] In [[computational complexity theory]], a problem is '''NP-complete''' when: ...30 KB (4,272 words) - 21:05, 16 January 2025
- ...41|title=On a problem of Sidon in additive number theory, and some related problems|journal=Journal of the London Mathematical Society|series=Series 1|volume=1 ...riginal Erdős–Fuchs theorem, we cannot have'' <math>s_{\mathcal{A},2}(n) = nL(n) + o\big(n^{1/4}\log(n)^{-1/2}L(n)^\alpha \big)</math>, ''where'' <math>\ ...10 KB (1,626 words) - 06:56, 8 December 2022
- ...ned [[potential]] and temperature circumstances. Employing path integrals, problems hitherto unsolved were successfully worked out: Excluded volume, entangleme ...rite the [[Distribution function (physics)|distribution function]] for the complete polymer conformation as: ...38 KB (6,078 words) - 05:27, 3 December 2023
- ...atical, although numerical calculations are often conducted for particular problems too. DNA sequencing theory addresses ''physical processes'' related to sequ :<math>\left[1 - \frac{L}{G}\right]^N \sim \exp(-NL/G),</math> ...22 KB (3,083 words) - 15:26, 7 November 2023
- ...W. |last2=Regan |chapter=David Johnson: Galactic Algorithms |title=People, Problems, and Proofs: Essays from Gödel's Lost Letter: 2010 |publisher=Springer Berl ...portant open problem in computer science and one of the [[Millennium Prize Problems]].<ref>{{cite journal |author=Fortnow, L. |year=2009 |title=The status of t ...20 KB (2,779 words) - 16:47, 26 February 2025
- PMS is known to be [[NP-complete]]. The [[Time complexity|time complexities]] of most of the planted motif s ...ast3 = Huang | first3 = C. H. | title = Exact algorithms for planted motif problems | journal = J. Comput. Biol. | volume = 12 | issue = 8 | pages = 1117–1128 ...34 KB (5,377 words) - 08:29, 18 July 2024
- ...hine learning, bioinformatics algorithms had to be programmed by hand; for problems such as [[protein structure prediction]], this proved difficult.<ref name=" ...ate of the generalization error, can be used directly for high-dimensional problems, and can easily be implemented in parallel. Statistically, random forests a ...70 KB (9,251 words) - 08:48, 6 January 2025
- ...dition, fairy chess pieces are used in [[fairy chess]], an area of [[chess problems]] involving changes to the rules of chess. ...eces|game pieces]] of [[fairy chess|unorthodox chess]], from fairy [[chess problems]] and [[chess variants]] (including [[chess variants#Chess-related historic ...127 KB (17,254 words) - 18:19, 18 December 2024
- ...agstukken uit de electronentheorie van het magnetisme |year=1919|language=nl}}</ref><ref>{{cite journal ...ic [[partial differential equations]] associated with Cauchy initial value problems. A special case was proven by [[Augustin Cauchy]] (1842), and the full resu ...65 KB (8,935 words) - 15:53, 8 February 2025