More complicated questions about maxima and minima, and some closures of NP

From MaRDI portal
Publication:1107524

DOI10.1016/0304-3975(87)90049-1zbMath0653.03027OpenAlexW2088044688MaRDI QIDQ1107524

Klaus W. Wagner

Publication date: 1987

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(87)90049-1




Related Items (50)

Probabilistic logic under coherence: complexity and algorithmsPropositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-completeEfficient timed model checking for discrete-time systemsRecognizing when greed can approximate maximum independent sets is complete for parallel access to NPThe operators min and max on the polynomial hierarchyGuarantees for the success frequency of an algorithm for finding Dodgson-election winnersRandom parallel algorithms for finding exact branchings, perfect matchings, and cyclesThe complexity class θp2: Recent results and applications in AI and modal logicOn computing the smallest four-coloring of planar graphs and non-self-reducible sets in PToward the complexity of the existence of wonderfully stable partitions and strictly core stable coalition structures in enemy-oriented hedonic gamesPolynomial algorithms for protein similarity search for restricted mRNA structuresThe complexity of online manipulation of sequential electionsWeighted Boolean Formula GamesGeneralized theorems on relationships among reducibility notions to certain complexity classesControlling weighted voting games by deleting or adding players with or without changing the quotaExact analysis of Dodgson elections: Lewis Carroll's 1876 voting system is complete for parallel access to NPA novel characterization of the complexity class \(\Theta_k^{\mathrm{P}}\) based on counting and comparisonThe complexity of computing minimal unidirectional covering setsOn the equivalence of distributed systems with queries and communicationOn monotonous oracle machinesToward credible belief base revisionMixed Iterated Revisions: Rationale, Algorithms, and ComplexityStability, vertex stability, and unfrozenness for special graph classesTaking into account ``who said what in abstract argumentation: complexity resultsUpper bounds for the complexity of sparse and tally descriptionsManipulation in communication structures of graph-restricted weighted voting gamesInconsistency-Tolerant Querying of Description Logic Knowledge BasesLogical foundations of information disclosure in ontology-based data integrationUnnamed ItemThe computational complexity of weak saddlesOptimal satisfiability for propositional calculi and constraint satisfaction problems.On truth-table reducibility to SATComplexity of stabilityFederation and Navigation in SPARQL 1.1Complexity of Stability.Isomorphic implicationQuery evaluation on a database given by a random graphModel checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchyRecognizing when heuristics can approximate minimum vertex covers is complete for parallel access to NPExact complexity of exact-four-colorabilityDeciding According to the Shortest ComputationsMonotonous and randomized reductions to sparse setsAnswers set programs for non-transferable utility games: expressiveness, complexity and applicationsFinding Optimal Solutions With Neighborly Help.THE OPERATORS MIN AND MAX ON THE POLYNOMIAL HIERARCHYComplexity results for structure-based causality.A note on parallel queries and the symmetric-difference hierarchy.The minimum equivalent DNF problem and shortest implicants\(\text{DA}^2\) merging operatorsThe complexity of Kemeny elections



Cites Work




This page was built for publication: More complicated questions about maxima and minima, and some closures of NP