theory, enumeration reducibility (or e-reducibility for short) is a specific type of reducibility. Roughly speaking, A is enumeration-reducible to B if...
11 KB (1,437 words) - 21:23, 17 July 2025
Reduction (computability theory) (redirect from Reducibility relation)
{\displaystyle b=1} and so on. Enumeration reducibility: Similar to positive reducibility, relating to the effective procedure of enumerability from A {\displaystyle...
13 KB (1,982 words) - 17:20, 6 July 2025
provided), and produces an enumeration of A. See enumeration reducibility for a precise account. A set A is computably enumerable with oracle B (or simply...
9 KB (1,201 words) - 03:12, 24 April 2025
to many counting problems, in particular to the enumeration of chemical compounds. The Pólya enumeration theorem has been incorporated into symbolic combinatorics...
15 KB (2,882 words) - 07:47, 12 March 2025
combinatorics, an area of mathematics, graph enumeration describes a class of combinatorial enumeration problems in which one must count undirected or...
5 KB (554 words) - 20:29, 18 May 2025
respect to many-one reducibility and with respect to Turing reducibility. In 1944, Post asked whether every computably enumerable set is either computable...
54 KB (6,414 words) - 03:45, 30 May 2025
defined via enumeration operators. Enumeration operators are of central importance in the study of enumeration reducibility. Each enumeration operator Φ...
21 KB (3,095 words) - 15:38, 17 March 2025
Weakness Enumeration. Archived from the original on 2025-01-07. Certifying Applications for Known Security Weaknesses. The Common Weakness Enumeration (CWE)...
6 KB (487 words) - 08:03, 1 June 2025
PCI configuration space (redirect from PCI bus enumeration)
powered on, the PCI bus(es) and device(s) must be enumerated by BIOS or operating system. Bus enumeration is performed by attempting to access the PCI configuration...
20 KB (2,583 words) - 13:01, 19 May 2025
Many-one reduction (redirect from Mapping reducibility)
many-one reducibility if there exists no reduction from a language outside C to a language in C. If a class is closed under many-one reducibility, then many-one...
12 KB (1,768 words) - 04:51, 15 May 2025
input, the enumeration algorithm must produce the list of all solutions, without duplicates, and then halt. The performance of an enumeration algorithm...
9 KB (1,189 words) - 05:05, 24 June 2025
In computer science, state space enumeration are methods that consider each reachable program state to determine whether a program satisfies a given property...
1 KB (149 words) - 07:12, 29 April 2022
Eight queens puzzle (category Enumerative combinatorics)
The 27×27 board is the highest-order board that has been completely enumerated. The following tables give the number of solutions to the n queens problem...
35 KB (3,793 words) - 12:46, 15 July 2025
2023 Pakistani census (section Enumeration)
to 1 April 2023. However, enumeration was later extended several times until 30 May 2023, because of incomplete enumeration in large cities such as Karachi...
38 KB (3,267 words) - 14:00, 22 July 2025
Turing reduction (redirect from Turing reducibility)
Soare, 1987. Recursively enumerable sets and degrees, Springer. Davis, Martin (November 2006). "What is...Turing Reducibility?" (PDF). Notices of the American...
12 KB (1,844 words) - 11:28, 22 April 2025
because it reduces the complexity of the problem and requires checking only 633 reducible configurations. Both the unavoidability and reducibility parts of...
49 KB (6,333 words) - 23:09, 21 July 2025
Cograph (redirect from Complement-reducible graph)
In graph theory, a cograph, or complement-reducible graph, or P4-free graph, is a graph that can be generated from the single-vertex graph K1 by complementation...
22 KB (2,689 words) - 18:27, 19 April 2025
Double factorial (category Enumerative combinatorics)
and surface area of a hypersphere, and they have many applications in enumerative combinatorics. They occur in Student's t-distribution (1908), though...
28 KB (4,286 words) - 19:48, 28 February 2025
Fold (higher-order function) (redirect from Reduce (higher-order function))
In functional programming, fold (also termed reduce, accumulate, aggregate, compress, or inject) refers to a family of higher-order functions that analyze...
39 KB (2,787 words) - 17:28, 5 December 2024
Polyomino (section Enumeration of polyominoes)
found; refinements in ordering the enumeration and marking adjacent squares that should not be considered reduce the number of cases that need to be...
39 KB (4,560 words) - 13:13, 14 July 2025
Magic square (section Enumeration of magic squares)
squares. Except for n ≤ 5, the enumeration of higher order magic squares is still an open challenge. The enumeration of most-perfect magic squares of...
272 KB (21,802 words) - 12:40, 22 July 2025
in Quantum Chemistry, CRC Press, Boca Raton, Florida Richard Stanley, Enumerative Combinatorics, Vol. 2 Burnside, William (1955), Theory of groups of finite...
20 KB (2,840 words) - 08:32, 1 July 2025
Arithmetical hierarchy (redirect from Arithmetic reducibility)
quantifiers by n). Arithmetical reducibility is an intermediate notion between Turing reducibility and hyperarithmetic reducibility. A set is arithmetical (also...
25 KB (4,585 words) - 15:57, 20 July 2025
Inductive reasoning (redirect from Induction by enumeration)
used to reach inductive generalizations are enumerative induction and eliminative induction. Enumerative induction is an inductive method in which a generalization...
67 KB (8,635 words) - 14:15, 16 July 2025
Census (section Enumeration strategies)
essential features of population and housing censuses as "individual enumeration, universality within a defined territory, simultaneity and defined periodicity"...
57 KB (6,779 words) - 15:23, 21 July 2025
implements encryption. This kind of VPN implementation has the benefit of reduced costs and greater flexibility, with respect to dedicated communication...
32 KB (3,539 words) - 03:50, 19 July 2025
Species of the Linen and Hempen Manufactures of this Kingdom therein enumerated, and for repealing the Bounties on Flax Seed imported, and for encouraging...
291 KB (982 words) - 11:03, 19 July 2025
a subsequence of some k {\displaystyle k} values in the permutation by reducing these values to the range from 1 to k {\displaystyle k} while preserving...
7 KB (1,001 words) - 18:22, 26 May 2025
Office of Hawaiian Affairs (May 2017). "Native Hawaiian Population Enumerations in Hawaiʻi" (PDF). p. 22. Archived from the original (PDF) on January...
239 KB (23,063 words) - 11:24, 17 July 2025
Canonical LR parser (section Reduce actions)
such as X → y requiring a great many artificial rules that essentially enumerate the combinations of all the possible states and lookahead terminals that...
15 KB (2,253 words) - 23:14, 6 September 2024