title: NP-completeness conditions for some types of systems of linear Diophantine dis-comparisons consistency checking
metadata.name: dc.contributor.author
metadata.value: Kosovskii, Nikolay K.
metadata.lang: -
metadata.name: dc.contributor.author
metadata.value: Kosovskaya, Tatyana M.
metadata.lang: -
metadata.name: dc.contributor.author
metadata.value: Kosovskii, Nikolay N.
metadata.lang: -
metadata.name: dc.date.accessioned
metadata.value: 2016-09-01T15:00:24Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2016-09-01T15:00:24Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2016-03
metadata.lang: -
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/3834
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: Two series of number-theoretic problems concerning modulo m dis-comparisons with explicitly pointed
  out parameters are proposed in the paper. Conditions upon the parameters implying that every problem
  of a series is an NP-complete one are proved. It is proved that for every m > 2 the consistency problem for
  a system of modulo m dis-comparisons every of which contains exactly 3 variables (even if every coefficient
  belongs to {−1, 1}) is NP-complete. It is also proved that for every m > 3 the consistency problem for
  a system of modulo m dis-comparisons every of which contains exactly 2 variables is NP-complete. If
  P =NP then the statement of the proved theorem can not be changed by means of replacing the term
  «2-dis-comparison» by the term «1-dis-comparison». Refs 6.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.lang: en_GB
metadata.name: dc.publisher
metadata.value: St Petersburg State University
metadata.lang: en_GB
metadata.name: dc.relation.ispartofseries
metadata.value: Vestnik of St Petersburg University. Series 1. Mathematics. Mechanics. Astronomy;Vol. 3 (61); Issue 1
metadata.lang: -
metadata.name: dc.subject
metadata.value: system of linear Diophantine dis-comparisons
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: NP-completeness
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: NP-completeness conditions for some types of systems of linear Diophantine dis-comparisons consistency checking
metadata.lang: en_GB
metadata.name: dc.type
metadata.value: Article
metadata.lang: en_GB
resources.filename: Kosovski_Kosovskaya_Kososvski.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/3834/1/Kosovski_Kosovskaya_Kososvski.pdf
resources.format: Adobe PDF
resources.size: 224,53 kB