On the complexity of Hilbert refutations for partition
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...
主要な著者: | Margulies, S, Onn, S, Pasechnik, D |
---|---|
フォーマット: | Journal article |
出版事項: |
2015
|
類似資料
-
On the complexity of Hilbert refutations for partition
著者:: Margulies, S, 等
出版事項: (2015) -
On the complexity of Hilbert refutations for partition
著者:: Margulies, S, 等
出版事項: (2014) -
The Meaning of 'Refutation' in Kant's Refutation of Idealism
著者:: Hyoung Sung Kim
出版事項: (2024-03-01) -
Dialectic and Refutation in Plato. On the Role of Refutation in the Search for Truth
著者:: Graciela Marcos
出版事項: (2022-06-01) -
Strict finitism refuted?
著者:: Magidor, O
出版事項: (2007)