|
ru.unix.bsd
- RU.UNIX.BSD ------------------------------------------------------------------
From : Lev Serebryakov 2:5030/661.1 20 Apr 2005 22:55:56
To : Andrew Filonov
Subject : DragonFlyBSD
--------------------------------------------------------------------------------
Hello Andrew.
20 Apr 05 11:01, you wrote to me:
AF>>>>> Существуют однозначные преобразования, уменьшающие размер
AF>>>>> исходных данных.
LS>>>> _всегда_ _не_ _увеличивающие_ и при этом _хоть_ _раз_
LS>>>> _уменьшающие_? И однозначные? Да? Примеры в студию!
AF>>> Про _всегда_не_увеличивающие_ - это ты сам только что придумал.
LS>> А ты не указал для каких. Ты сказал %смотри цитатц выше%. Да,
LS>> явным образом квантора общности там нет. Hо и никаких других
LS>> указаний на область применения нет.
AF> т.е. по поводу квантора существования возражений нет?
Если их два, вот так:
Существуют однозначные преобразования, для которых существуют некоторые
входные данные, размер которых уменьшается преобразованием.
то возражений нет.
// Lev
--- GoldED+/W32 1.1.4.7
* Origin: Cave of Black Lion (2:5030/661.1)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
