From: "sasha mal" <sasha.mal@excite.com>
To: caml-list@yquem.inria.fr
Subject: More efficient implementation of intersection of sets?
Date: Tue, 1 Apr 2008 11:55:24 -0400 (EDT) [thread overview]
Message-ID: <20080401155524.F1CE08B34A@xprdmxin.myway.com> (raw)
Dear OCaml users!
Currently,
Set.inter x y
splits y into two trees, one containing elements that are bigger and the other containing elements that are smaller than the top of x, then applies the procedure recursively. What is the exact runtime of the algorithm? Is there a better one for the intersection for OCaml sets?
Regards
Sasha
--- On Fri 03/14, Alain Frisch < alain@frisch.fr > wrote:
From: Alain Frisch [mailto: alain@frisch.fr]
To: sasha.mal@excite.com
Cc: caml-list@yquem.inria.fr
Date: Fri, 14 Mar 2008 08:38:41 +0100
Subject: Re: [Caml-list] BDDs in ocaml
sasha mal wrote:> I wonder whether anyone has a BDD (binary decision diagram)> implementation in ocaml. Ocaml interfaces to external BDD> implementations in other languages (like Cudd) are of no use to me.I've seen many implementation of BDDs in OCaml, but none of them implements automatic reordering of variables (which is by far the most complex part of serious BDD packages). For some applications, this is really a must. Why is it impossible for you to use to an external BDD implementation?-- Alain
_______________________________________________
Join Excite! - http://www.excite.com
The most personalized portal on the Web!
next reply other threads:[~2008-04-01 15:55 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-04-01 15:55 sasha mal [this message]
2008-04-01 23:42 ` [Caml-list] " Jon Harrop
2008-04-02 14:05 ` Frédéric Gava
2008-04-02 15:34 ` Mike Furr
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20080401155524.F1CE08B34A@xprdmxin.myway.com \
--to=sasha.mal@excite.com \
--cc=caml-list@yquem.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).