[devel] apt virtual packages

[Alexey Tourbin]

On Sat, Dec 16, 2006 at 03:03:05PM +0300, Alexey I. Froloff wrote:
> * Alexey Tourbin <at@> [061216 01:48]:
> > В общем апт не должен ставить пакеты подряд.  А для каждого пакета
> > подряд он должен выделять подмножество пакетов удовлетворяющих условию.
> > А на втором проходе из этих подмножеств выделять одно непротиворечивое
> > множество которое подлежит установке.
> 
> http://people.debian.org/~dburrows/model.pdf
> Правда я этот резольвер оторвал, потому как глючный дюже...

Спасибо!  Я как раз думал, что это математическая задача.  То есть нужно
предложить конечный набор (последовательность) правил, как минимум для
install, а лучше ещё и для dist-upgrade, и желательно без весов.  То
есть чисто на теории множеств + исчислении предикатов, без чисел.   Я
пока не понимаю, можно ли эту "последовательность" будет развернуть в
конечный автомат, тогда ляпота.

Плюс потом нужно доказать, что этот набор правил дает результативный
исход тогда и только тогда, когда установка непротиворечивого множества
пакетов на самом деле возможна.

С виртуальными пакетами и их версиями слишком много тонкостей.  Но любой
виртуальный пакет можно моделировать как дизъюнкцию реальных пакетов,
т.е. virtual := real1 | real2 | ...

В общем щас попробую осилить, хотя вроде пьяненький уже немножко конечно.
Кажется скоро будет новый год.  Здравствуй дедушка мороз, борода из ваты...
----------- следующая часть -----------
Было удалено вложение не в текстовом формате...
Имя     : =?iso-8859-1?q?=CF=D4=D3=D5=D4=D3=D4=D7=D5=C5=D4?=
Тип     : application/pgp-signature
Размер  : 189 байтов
Описание: =?iso-8859-1?q?=CF=D4=D3=D5=D4=D3=D4=D7=D5=C5=D4?=
Url     : <http://lists.altlinux.org/pipermail/devel/attachments/20061216/0c64708f/attachment-0001.bin>