Problemy trudnorozwiązywalne 3

Problemy trudnorozwiązywalne 3



Nierozstrzygalny jest tez problem weryfikacji algorytmów. Już wcześniej mówiliśmy, że nie istnieje automatyczny (algorytmiczny) weryfikator poprawności programów (algorytmów). Co więcej, nie jesteśmy nawet w stanie stwierdzić dla wszystkich algorytmów czy dany algorytm sie zatrzyma dla wszystkich poprawnych danych wejściowych, a nawet, że uczyni to choćby dla pewnych wybranych danych.

Problem STOPU jest nierozstrzygalny, a dowód tego faktu jest w książce Horela. Na domiar złego takie problemy nierozstrzygalne mają różne stopnie nierozstrzygalności. całą hierarchię, a wśród nich są problemy wysoce nierozstrzygalne.

Cztery poziomy algorytmicznego zachowania sie Można wyróżnić cztery takie typy:


ni eo graniczone domino

ograniczone domino (przypuszczalnie)


okresowe

domino

ograniczone domino ze stała szeroko śaą (ma algorytm wielomianowy)

Nie byłoby w tym nic specjalnie ciekawego, gdyby nie fakt, że ten sam problem przy pewnych specyficznych sformułowaniach może należeć do każdej z tych klas. Weźmy problem domina:

Domino ograniczone

problem pokrycia kwadratu N x N dla danego N za pomocą skończonego zbioru rodzajóyy kafelków T (nieskończenie wiele kafelków danego typu, reguła — krawędzie o jednakowych kolorach, muszą się stykać),

Domino nieograniczone

problem pokrycia nieskończonej siatki liczb naturalnych za pomocą skończonego zbioru T,

Domino okresowe

tak jak poprzednio, ale żądamy by pewien określony kafelek powtórzył się w pokryciu nieskończenie wiele razy,

Domino o stałej szerokości

czy dla danego T i liczby N można ze zbioru T ustawić prostokąt o wymiarach C x N (C — szerokość z góry ustalona zgodnie z regułami domina. Np. dla C = 1 będzie to linia kafelków ustawiona zgodnie z regułami.

Na koniec ostatnia pesymistyczna uwaga — nawet problemy trudnorozwiazywalne. a więc jeszcze nie najgorsze mogą nie mieć praktycznie akceptowalnych rozwiązań!!:(


Wyszukiwarka

Podobne podstrony:
Sztuka ekonomii jest też określana jako polityka gospodarcza, którą należy rozumieć nie tytko j
Le Chatelier jest też autorem tzw. „reguły przekory", która mówi, że system organizacyjny wytrą
chalmers0070 72 Idea falsyfikacji była problemem dla Roentgena, ponieważ w tym okresie przyjmowano,
facet1 jpeg Facet jest jak strumyk: miło popatrzeć, ale trzeba pamiętać ze nie każdy jest odpow
236 VI. Hzykałi zm pewności, że jest to deskrypeja adekwatna. Nie wynika z tego jednak wcale, że nie
59639 r0 a jej wizerunkiem. Otóż oczywiste jest, że nie istnieją żadne mechanizmy, które czyniłyby
Obraz30 Jeśli nawierzchnia jest sucha, to samo hamowanie wydaje się być proste. Nie istnieje duże n
DSC04197 Dotyczy to również nowomowy. Jest ona tak ważnym składnikiem współczesnej sytuacji językowe
ruszać. Lewa nóżka staje się ciężka, coraz cięższa. Jest już tak ciężka, że nie chce mi się nią rusz
236 VI. Hzvkalizm pewności, że jest to deskrypcja adekwatna. Nie wynika /. tego jednak wcale, że nie
o Moja klatka piersiowa staje się ciężka, coraz cięższa o Jest już tak ciężka, że nie mogę nią porus
29 (283) 202 Problemy organizacji administracji centralnej Nie jest też oczywiste, na ile nasi dyrek
zdjecie lancia1 5.4. Narastanie problemów ubóstwa w przestrzeni miast Polski jest też duża liczba m
Dlaczego Uwy = Ure (spadkowi napięcia na rezystorze E) Problemem jest też u mnie wyjaśnienie tego, g

więcej podobnych podstron