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...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Margulies, S, Onn, S, Pasechnik, D
Fformat:	Journal article
Cyhoeddwyd:	2015

Eitemau Tebyg

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

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

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

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

Strict finitism refuted?
gan: Magidor, O
Cyhoeddwyd: (2007)

A refutation of determinism.
gan: Binswanger, Harry
Cyhoeddwyd: (2009)

Refutation of inaccurate information
gan: Article Editorial
Cyhoeddwyd: (2024-03-01)

Motahhari and the Refutation of Idealism
gan: Abdurrazzaq Hesamifar
Cyhoeddwyd: (2011-08-01)

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

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

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

The location of Kant's refutation of idealism
gan: Watt, R
Cyhoeddwyd: (2017)

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

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

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

Dialectic and Refutation in Plato and Aristotle
gan: Pilar Spangenberg
Cyhoeddwyd: (2022-06-01)

Hybrid Deduction–Refutation Systems
gan: Valentin Goranko
Cyhoeddwyd: (2019-10-01)

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

Mathematics Education with Conjectures and Refutations
gan: Gianni Arioli
Cyhoeddwyd: (2020-04-01)

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

Lockean Intellectual Property Refuted
gan: Cezary Błaszczyk
Cyhoeddwyd: (2020-12-01)

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

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

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

Israel and Palestine: Reappraisals, Revisions, Refutations
gan: Shlaim, A
Cyhoeddwyd: (2008)

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

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

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

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

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

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

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

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

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

Durand of Saint-Pourçain’s Refutation of Concurrentism
gan: Jean-Luc Solère
Cyhoeddwyd: (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
gan: Ibrahim Al-Lahim
Cyhoeddwyd: (2020-02-01)

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

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

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

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