Запитання з тегом «examples»

РЕДАКТУЙТЕ В 12.12.08: Я спробую змінити питання, щоб воно зацікавило більше людей поділитися своєю думкою. НЕОБХІДНІ ваші внески! Цей пост натхненний тим, хто в МО: Приклади поширених помилкових переконань з математики . Великі списки іноді генерують величезну кількість відповідей, які якості важко контролювати, але після успіху відповідного допису в МО …

62 big-list  examples 

Цілі цього питання - зібрати приклади теоретичної інформатики, де систематичне використання комп’ютерів було корисним будуючи гіпотезу, яка веде до теореми, фальсифікація підказки або підходу до доказування, побудова / перевірка (частини) доказу. Якщо у вас є конкретний приклад, будь ласка, опишіть, як це було зроблено. Можливо, це допоможе іншим більш ефективно …

55 proofs  survey  examples 

Чи існують відомі природні приклади проблем оптимізації, для яких набагато простіше виробити оптимальне рішення, ніж оцінювати якість заданого рішення кандидата? Для конкретності ми можемо розглянути задачі оптимізації поліноміально-часових задач вигляду: "заданий х, мінімізувати ", де f : { 0 , 1 } ∗ × { 0 , 1 } ∗ …

10 cc.complexity-theory  optimization  examples 

У статті 1965 р. « Про обчислювальну складність алгоритмів » Хартманіса та Стівенса автори здогадуються, що якщо машина Тьюрінга в реальному часі обчислює реальне число у, наприклад, базі 10, то r є або раціональним числом трансцендентальне число.rrrrrr Чи існує обчислюване трансцендентальне число, яке не можна обчислити машиною Тьюрінга в реальному …

10 cc.complexity-theory  reference-request  examples 

Дозволяє ΣΣ\Sigmaбути алфавітом, тобто не порожнім кінцевим набором. Рядок - це будь-яка кінцева послідовність елементів (символів) зΣΣ\Sigma. Як приклад,{0,1}{0,1} \{0, 1\} - двійковий алфавіт і 011001100110 є рядком для цього алфавіту. Зазвичай до тих пір, поки ΣΣ\Sigma містить більше 1 елемента, точну кількість елементів у ΣΣ\Sigmaне має значення: у кращому …

9 big-list  encoding  examples