From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p5UEKR5B013021 for ; Thu, 30 Jun 2011 16:20:27 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApMHAHiFDE5APrys/2dsb2JhbABShEKUJI5ud7dKkHCBK4N6gQwEh0CPZR2LOQ X-IronPort-AV: E=Sophos;i="4.65,450,1304287200"; d="scan'208";a="86362602" Received: from elehack.net ([64.62.188.172]) by mail3-smtp-sop.national.inria.fr with ESMTP; 30 Jun 2011 16:20:21 +0200 Received: from [192.168.42.102] (unknown [68.168.162.166]) by elehack.net (Postfix) with ESMTPSA id 9F31FEF208 for ; Thu, 30 Jun 2011 09:20:23 -0500 (CDT) Message-ID: <4E0C861F.6050101@elehack.net> Date: Thu, 30 Jun 2011 09:20:15 -0500 From: Michael Ekstrand User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.17) Gecko/20110428 Fedora/3.1.10-1.fc15 Lightning/1.0b3pre Thunderbird/3.1.10 MIME-Version: 1.0 To: caml-list@inria.fr References: <4E0C5E67.9010606@gmail.com> <4E0C6D2E.8070206@lri.fr> <4E0C77EF.6030408@elehack.net> In-Reply-To: X-Enigmail-Version: 1.1.2 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Priority queues On 06/30/2011 09:07 AM, Alexandre Pilkiewicz wrote: > I have the impression that none of the proposed solution allows to > increase/reduce the priority of an element, which is necessary for the > Dijkstra. (But I don't know any that does) Correct; none of them do, to my knowledge. It's very rare that I've actually seen a priority queue implementation that allows this (Java's doesn't, for example). - Michael