Fórum studentů MFF UK

Je ta trojka ta samá jako zde? http://ktiml.mff.cuni.cz/~gregor/logika2016/zktest4.pdf
Protože {0.1} určitě není uzavřené na sčítání modulo 4. Řekl bych, že podstruktury jsou jen {0},{0,2} a celé Z4 a modely to jsou.

Zadání: Máme vstupní řetězec délky n. Úkolem je v polynomiálním čase najít jeho minimální pokrytí pomocí palindromů, čili že text rozložíme na co nejméně palindromů. Plus z toho také ty palindromy nějak dostat. Např: steponnopets se dá pokrýt jedním palindromem = sebou samým. abaaba se dá rozložit ...