Файл:Backjump-collect.svg
Розмір цього попереднього перегляду PNG для вихідного SVG-файлу: 324 × 189 пікселів. Інші роздільності: 320 × 187 пікселів | 640 × 373 пікселів | 1024 × 597 пікселів | 1280 × 747 пікселів | 2560 × 1493 пікселів.
Повна роздільність (SVG-файл, номінально 324 × 189 пікселів, розмір файлу: 13 КБ)
|
Відомості про цей файл містяться на Вікісховищі — централізованому сховищі вільних файлів мультимедіа для використання у проектах Фонду Вікімедіа. |
Опис файлу
| Опис | Backjumping can be done by collecting, in each node, all variables that are sufficient to prove inconsistency in all leaves of its subtree. This collection is removed the variable of the node and sent to the parent, or ancestor if backjumping. |
| Час створення | 20 лютого 2006 (дата завантаження оригінального файлу) |
| Джерело | Не вказане машиночитабельне джерело. Припускаємо, що це власна робота (на основі заяви про авторські права). |
| Автор | Не вказано машиночитабельного автора. Припускаємо, що автором є Tizio (на основі заяви про авторські права). |
Ліцензування
|
Я, власник авторських прав на цю роботу, передаю роботу в суспільне надбання. Застосовується по всьому світу. У деяких країнах це не може бути юридично можливо, в такому випадку: Я даю кожному право на використання цієї роботи для будь-яких цілей, без будь-яких умов, якщо такі умови не вимагаються за законом. |
Історія файлу
Клацніть на дату/час, щоб переглянути, як тоді виглядав файл.
| Дата/час | Мініатюра | Розмір об'єкта | Користувач | Коментар | |
|---|---|---|---|---|---|
| поточний | 18:34, 20 лютого 2006 | | 324 × 189 (13 КБ) | Tizio | White background + gold lines instead of dashed |
| 18:30, 20 лютого 2006 |  | 315 × 180 (13 КБ) | Tizio | Decreased lenght of dashes in dashed lines | |
| 18:27, 20 лютого 2006 |  | 315 × 180 (13 КБ) | Tizio | Backjumping can be done by collecting, in each node, all variables that are sufficent to prove inconsistency in all leaves of its subtree. This collection is removed the variable of the node and sent to the parent, or ancestor if backjumping. [[Category:C |
Використання файлу
Така сторінка використовує цей файл:
Глобальне використання файлу
Цей файл використовують такі інші вікі:
- Використання в en.wikipedia.org
- Використання в es.wikipedia.org
- Використання в fa.wikipedia.org
- Використання в fr.wikipedia.org
- Використання в sr.wikipedia.org
