From: Jan Wedekind <jan@wedesoft.de>
To: Andy Wingo <wingo@pobox.com>
Cc: General Guile related discussions <guile-user@gnu.org>
Subject: Re: Graph coloring with Scheme
Date: Mon, 20 Jun 2016 21:30:57 +0100 (BST) [thread overview]
Message-ID: <alpine.DEB.2.11.1606202125290.10440@wedemob> (raw)
In-Reply-To: <877fdkhuqi.fsf@pobox.com>
Thanks for the positive feedback.
Here is a slightly modified version using a curried definition.
I am using the algorithm to color live intervals in order to do register
allocation.
(use-modules (srfi srfi-1) (srfi srfi-26) (ice-9 curried-definitions))
(define (dot graph colors)
(apply string-append
(append (list "graph g {")
(map (lambda (color) (format #f " ~a [style=filled, fillcolor=~a];" (car color) (cdr color))) colors)
(map (lambda (edge) (format #f " ~a -- ~a;" (car edge) (cdr edge))) graph)
(list " }"))))
(define (graphviz graph colors) (system (format #f "echo '~a' | dot -Tpng | display -" (dot graph colors))))
(define (nodes graph) (delete-duplicates (append (map car graph) (map cdr graph))))
(define ((has-node? node) edge) (or (eq? (car edge) node) (eq? (cdr edge) node)))
(define (adjacent graph node) (nodes (filter (has-node? node) graph)))
(define (remove-node graph node) (filter (compose not (has-node? node)) graph))
(define (argmin fun lst)
(let* [(vals (map fun lst))
(minval (apply min vals))]
(list-ref lst (- (length lst) (length (member minval vals))))))
(define (assign-colors graph nodes colors)
(if (null? nodes) '()
(let* [(target (argmin (compose length (cut adjacent graph <>)) nodes))
(coloring (assign-colors (remove-node graph target) (delete target nodes) colors))
(blocked (map (cut assq-ref coloring <>) (adjacent graph target)))
(available (lset-difference eq? colors blocked))]
(cons (cons target (car available)) coloring))))
(define (coloring graph colors) (assign-colors graph (nodes graph) colors))
(let [(graph '((run . intr)
(intr . runbl)
(runbl . run)
(run . kernel)
(kernel . zombie)
(kernel . sleep)
(kernel . runmem)
(sleep . swap)
(swap . runswap)
(runswap . new)
(runswap . runmem)
(new . runmem)
(sleep . runmem)))]
(graphviz graph (coloring graph '(red green blue yellow))))
On Mon, 20 Jun 2016, Andy Wingo wrote:
> What a delight! Thank you for this elegant snippet :)
>
> Andy
>
> On Fri 14 Nov 2014 19:16, Jan Wedekind <jan@wedesoft.de> writes:
>
>> Hi,
>> Here is an implementation [1] of Chaitin's graph coloring algorithm
>> using GNU Guile and Graphviz. Any feedback and suggestions are
>> welcome. Let me know if you can make the implementation more concise
>> ;)
>>
>> Regards Jan
>>
>> (use-modules (srfi srfi-1)
>> (srfi srfi-26))
>> (define (dot graph colors)
>> (apply string-append
>> (append (list "graph g {")
>> (map (lambda (color) (format #f " ~a [style=filled, fillcolor=~a];" (car color) (cdr color))) colors)
>> (map (lambda (edge) (format #f " ~a -- ~a;" (car edge) (cdr edge))) graph)
>> (list " }"))))
>> (define (graphviz graph colors) (system (format #f "echo '~a' | dot -Tpng | display -" (dot graph colors))))
>> (define (nodes graph) (delete-duplicates (append (map car graph) (map cdr graph))))
>> (define (has-node? edge node) (or (eq? (car edge) node) (eq? (cdr edge) node)))
>> (define (adjacent graph node) (nodes (filter (cut has-node? <> node) graph)))
>> (define (remove-node graph node) (filter (lambda (edge) (not (has-node? edge node))) graph))
>> (define (argmin fun lst)
>> (let* [(vals (map fun lst))
>> (minval (apply min vals))]
>> (list-ref lst (- (length lst) (length (member minval vals))))))
>> (define (order graph nodes)
>> (if (null? nodes) '()
>> (let [(target (argmin (lambda (node) (length (adjacent graph node))) nodes))]
>> (cons target (order (remove-node graph target) (delete target nodes))))))
>> (define (assign-colors graph nodes colors)
>> (if (null? nodes) '()
>> (let* [(target (car nodes))
>> (coloring (assign-colors (remove-node graph target) (delete target nodes) colors))
>> (blocked (map (cut assq-ref coloring <>) (adjacent graph target)))
>> (available (lset-difference eq? colors blocked))]
>> (cons (cons target (car available)) coloring))))
>> (define (coloring graph colors) (assign-colors graph (nodes graph) colors))
>> (let [(graph '((b . a) (a . c) (d . c)))] (graphviz graph (coloring graph '(red green blue))))
>>
>> [1] http://wedesoft.de/graph-coloring.html
>
>
prev parent reply other threads:[~2016-06-20 20:30 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-11-14 18:16 Graph coloring with Scheme Jan Wedekind
2014-11-18 12:27 ` Jan Wedekind
2016-06-20 13:09 ` Andy Wingo
2016-06-20 20:30 ` Jan Wedekind [this message]
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
List information: https://www.gnu.org/software/guile/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=alpine.DEB.2.11.1606202125290.10440@wedemob \
--to=jan@wedesoft.de \
--cc=guile-user@gnu.org \
--cc=wingo@pobox.com \
/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 read-only IMAP folder(s) and NNTP newsgroup(s).