On the complexity of Hilbert refutations for partition

On the complexity of Hilbert refutations for partition

Show other versions (2)

Given a set of integers W, the Partition problem determines whether W can be divided into two disjoint subsets with equal sums. We model the Partition problem as a system of polynomial equations, and then investigate the complexity of a Hilbert's Nullstellensatz refutation, or certificate, that...

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Margulies, S, Onn, S, Pasechnik, D
Format:	Journal article
Udgivet:	2015

Lignende værker

On the complexity of Hilbert refutations for partition
af: Margulies, S, et al.
Udgivet: (2015)

On the complexity of Hilbert refutations for partition
af: Margulies, S, et al.
Udgivet: (2014)

The Meaning of 'Refutation' in Kant's Refutation of Idealism
af: Hyoung Sung Kim
Udgivet: (2024-03-01)

Dialectic and Refutation in Plato. On the Role of Refutation in the Search for Truth
af: Graciela Marcos
Udgivet: (2022-06-01)

Strict finitism refuted?
af: Magidor, O
Udgivet: (2007)

A refutation of determinism.
af: Binswanger, Harry
Udgivet: (2009)

Refutation of inaccurate information
af: Article Editorial
Udgivet: (2024-03-01)

Motahhari and the Refutation of Idealism
af: Abdurrazzaq Hesamifar
Udgivet: (2011-08-01)

Refuting phylogenetic relationships
af: Bapteste Eric, et al.
Udgivet: (2006-09-01)

Restructuring Resolution Refutations for Interpolation
af: D'Silva, V, et al.
Udgivet: (2008)

On computing Hilbert bases via the Elliot−MacMahon algorithm
af: Pasechnik, D
Udgivet: (2001)

The location of Kant's refutation of idealism
af: Watt, R
Udgivet: (2017)

An Examination of Counterexamples in Proofs and Refutations
af: Samet Bağçe, et al.
Udgivet: (2009-10-01)

Machiavel parodié, Machiavel réfuté
af: Théa Picquet
Udgivet: (2020-02-01)

On Graph Refutation for Relational Inclusions
af: Paulo A. S. Veloso, et al.
Udgivet: (2012-03-01)

Dialectic and Refutation in Plato and Aristotle
af: Pilar Spangenberg
Udgivet: (2022-06-01)

Hybrid Deduction–Refutation Systems
af: Valentin Goranko
Udgivet: (2019-10-01)

The Real Target of Kant’s “Refutation”
af: Pereira S.R
Udgivet: (2019-07-01)

Mathematics Education with Conjectures and Refutations
af: Gianni Arioli
Udgivet: (2020-04-01)

Colotes and the Epicurean Refutation of Skepticism
af: Paul A. Vander Waerdt
Udgivet: (2005-01-01)

Lockean Intellectual Property Refuted
af: Cezary Błaszczyk
Udgivet: (2020-12-01)

Refuting misconceptions in medical physiology
af: M. Versteeg, et al.
Udgivet: (2020-08-01)

Luca Castagnoli, Ancient Self-Refutation. The Logic and History of the Self-Refutation Argument from Democritus to Augustine
af: Stéphane Marchand
Udgivet: (2012-07-01)

On computing Hilbert bases via the Elliot–MacMahon algorithm
af: Pasechnik, Dmitrii V.
Udgivet: (2012)

Israel and Palestine: Reappraisals, Revisions, Refutations
af: Shlaim, A
Udgivet: (2008)

Conjectures and refutations : the growth of scientific knowledge /
af: Popper, Karl Raimund, Sir, 1902-
Udgivet: (1968)

Proofs and refutations : the logic of mathematical discovery /
af: 339570 Lakatos, Imre, et al.
Udgivet: (1976)

Missio Dei refuting the pactum salutis
af: Jonas S. Thinane
Udgivet: (2023-06-01)

WHO refutes malaria malpractice allegations
Udgivet: (2004-01-01)

Gadamer's Gorgias: The Imperative of Self-Refutation
af: Benjamin Hutchens
Udgivet: (2022-09-01)

POST-MODERN REFUTATION OF FAITH AND RELIGION
af: Dr. Zulfiqar Ali
Udgivet: (2012-03-01)

The semantics of slurs: A refutation of coreferentialism
af: Adam M. Croom
Udgivet: (2015-01-01)

The Refutation of Gorgias: Notes on a Contradiction
af: Refik Güremen
Udgivet: (2017-10-01)

The Refutation of An Appraisal based of Sanai's Semiology
af: Vida Dastmalchi, et al.
Udgivet: (2017-07-01)

Durand of Saint-Pourçain’s Refutation of Concurrentism
af: Jean-Luc Solère
Udgivet: (2024-04-01)

The Refutation of the Concept of Unanimity in the Arabic Grammar: A Genuine Study on the Refutation of Abu-Hayyan's on Ibn Malik's Unanimity
af: Ibrahim Al-Lahim
Udgivet: (2020-02-01)

Verification and Refutation of Probabilistic Specifications via Games
af: Kattenbelt, M, et al.
Udgivet: (2009)

François Lamy’s Cartesian Refutation of Spinoza’s Ethics
af: Jack Stetter
Udgivet: (2019-07-01)

The Case for Digital Activism: Refuting the Fallacies of Slacktivism
af: Nora Madison, et al.
Udgivet: (2020-09-01)

ES EL PSICOLOGISMO REFUTABLE SEGÚN FREGE?
af: Mario Ariel González Porta
Udgivet: (2009-05-01)