From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <avm@altlinux.ru>
Date: Sun, 17 Dec 2006 20:54:19 +0300
From: "Alex V. Myltsev" <avm@altlinux.ru>
To: devel@lists.altlinux.org
Message-ID: <20061217205419.1f26d7bb@localhost.localdomain>
In-Reply-To: <20061217171515.GI6148@localhost.localdomain>
References: <20061010221127.GB26619@basalt.office.altlinux.org>
	<20061011001636.GQ8008@localhost.localdomain>
	<20061207225233.GA14226@nomad.office.altlinux.org>
	<20061214234038.GH13476@localhost.localdomain>
	<20061215012503.GK13476@localhost.localdomain>
	<20061217134340.GA6148@localhost.localdomain>
	<20061217141414.GD6148@localhost.localdomain>
	<20061217160933.GE6148@localhost.localdomain>
	<20061217164128.GG6148@localhost.localdomain>
	<20061217194929.0e980d0c@localhost.localdomain>
	<20061217171515.GI6148@localhost.localdomain>
X-Mailer: Sylpheed-Claws 2.3.1cvs20 (GTK+ 2.10.6; i586-alt-linux-gnu)
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Subject: Re: [devel] [JT] std::sort
X-BeenThere: devel@lists.altlinux.org
X-Mailman-Version: 2.1.9rc1
Precedence: list
Reply-To: ALT Devel discussion list <devel@lists.altlinux.org>
List-Id: ALT Devel discussion list <devel.lists.altlinux.org>
List-Unsubscribe: <https://lists.altlinux.org/mailman/listinfo/devel>,
	<mailto:devel-request@lists.altlinux.org?subject=unsubscribe>
List-Archive: <http://lists.altlinux.org/pipermail/devel>
List-Post: <mailto:devel@lists.altlinux.org>
List-Help: <mailto:devel-request@lists.altlinux.org?subject=help>
List-Subscribe: <https://lists.altlinux.org/mailman/listinfo/devel>,
	<mailto:devel-request@lists.altlinux.org?subject=subscribe>
X-List-Received-Date: Sun, 17 Dec 2006 17:54:35 -0000
Archived-At: <http://lore.altlinux.org/devel/20061217205419.1f26d7bb@localhost.localdomain/>
List-Archive: <http://lore.altlinux.org/devel/>
List-Post: <mailto:devel@altlinux.org>

On Sun, 17 Dec 2006 20:15:15 +0300
Alexey Tourbin wrote:
> Что такое "strict weak ordering" по-русски?
Не знаю.
> Антирефлексивное неполное отношение порядка? То есть некоторые
> элементы несравнимы и неравны, а те которые сравнимы обязательно
> неравны.
Этого мало. Это у вас вроде строгий частичный порядок получается, но он
допускает такую ситуацию: a<b<c<e, a<d<e, пары (b,d) и (c,d) несравнимы.
То есть несравнимость может быть нетранзитивной, а это плохо: например,
подают нам на вход последовательность {a,c,d,b,e}; она неупорядочена, а
сравнением соседних элементов мы этого обнаружить не можем. И
сортировка вся идёт лесом.

А требуемый strict weak ordering -- это почти полный порядок, но только
каждый элемент может быть в нескольких экземплярах. "Нестрогий полный
порядок", что ли :).

> Да я Страуса листал а у него книжка толстая и наполовину бестолковая.
Google лучше.