[devel] apt virtual packages

[Dmitry V. Levin]

On Sun, Dec 17, 2006 at 12:08:24AM +0300, Alexey Tourbin wrote:
> On Sun, Dec 17, 2006 at 12:02:22AM +0300, Dmitry V. Levin wrote:
> > On Sat, Dec 16, 2006 at 11:19:25PM +0300, Alexey Tourbin wrote:
> > > 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, и желательно без весов.  То
> > > есть чисто на теории множеств + исчислении предикатов, без чисел.
> > 
> > Я не верю что это можно сделать в общем случае, поскольку иногда решений
> > более одного.
> 
> В одном частном случае, когда решений больше одного, это называется
> shift/reduce conflict.  Автоматы обходятся без чисел (без весов), это
> фундаментальное.

Для автоматов пишут правила.


-- 
ldv
----------- следующая часть -----------
Было удалено вложение не в текстовом формате...
Имя     : =?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/20061217/35f60561/attachment-0001.bin>