Tag 2-sat - Это страница 1 - GeneraCodice

Сложность конкретных случаев Max2Sat

https://www.generacodice.com/ru/articolo/2475077/сложность-конкретных-случаев-max2sat
  complexity-theory  -  np-complete  -  satisfiability  -  reductions  -  2-sat
cs.stackexchange cs.stackexchange

Полиномиальный временной счетчик решений экспрессии 2SAT с чистыми литералами

https://www.generacodice.com/ru/articolo/2474084/полиномиальный-временной-счетчик-решений-экспрессии-2sat-с-чистыми-литералами
  counting  -  2-sat
cs.stackexchange cs.stackexchange

Максимальное количество положительных литералов в 2SAT

https://www.generacodice.com/ru/articolo/2465552/максимальное-количество-положительных-литералов-в-2sat
  satisfiability  -  np  -  2-sat
cs.stackexchange cs.stackexchange

Макс 2-SAT - это многочленовое время, приводимое к 2-SAT?

https://www.generacodice.com/ru/articolo/2455992/макс-2-sat-это-многочленовое-время-приводимое-к-2-sat
  satisfiability  -  2-sat  -  maxsat
cs.stackexchange cs.stackexchange

Используйте 2SAT, чтобы показать, что диаграммы подразумеваний должны иметь цикл, если он не удовлетворен

https://www.generacodice.com/ru/articolo/2455665/используйте-2sat-чтобы-показать-что-диаграммы-подразумеваний-должны-иметь-цикл-если-он-не-удовлетворен
  computability  -  satisfiability  -  graphs  -  2-sat
cs.stackexchange cs.stackexchange

Ожидаемая длина случайной прогулки по линии

https://www.generacodice.com/ru/articolo/2447353/ожидаемая-длина-случайной-прогулки-по-линии
  probability-theory  -  algorithms  -  randomized-algorithms  -  random-walks  -  2-sat
cs.stackexchange cs.stackexchange

Give an NL-algorithm for complement of 2-SAT

https://www.generacodice.com/ru/articolo/1613185/give-an-nl-algorithm-for-complement-of-2-sat
  complexity-theory  -  2-sat
cs.stackexchange cs.stackexchange

Is a “local” version of 3-SAT NP-hard?

https://www.generacodice.com/ru/articolo/1612712/is-a-local-version-of-3-sat-np-hard
  satisfiability  -  np-hard  -  3-sat  -  polynomial-time  -  2-sat
cs.stackexchange cs.stackexchange

Counting models satisfying a boolean formula

https://www.generacodice.com/ru/articolo/1609679/counting-models-satisfying-a-boolean-formula
  combinatorics  -  satisfiability  -  2-sat
cs.stackexchange cs.stackexchange

General structure of solutions to 3-SAT circuits

https://www.generacodice.com/ru/articolo/1604656/general-structure-of-solutions-to-3-sat-circuits
  satisfiability  -  constraint-satisfaction  -  3-sat  -  2-sat
cs.stackexchange cs.stackexchange
Результаты найдены: 36
scroll top