Re: [cellml-discussion] Identifying smaller subsystems of simultaneous equations in differential-algebraic models

2008-04-21 Thread Andrew Miller
Andrew Miller wrote: > Randall Britten wrote: >>> However, in general, I haven't been able to find an efficient >>> (polynomial time) algorithm to compute this break-down (but I also >>> haven't yet proved that the problem is NP-complete, so there may be a >>> polynomial time solution even if P !=

Re: [cellml-discussion] Identifying smaller subsystems of simultaneous equations in differential-algebraic models

2008-04-21 Thread Andrew Miller
Randall Britten wrote: >> However, in general, I haven't been able to find an efficient >> (polynomial time) algorithm to compute this break-down (but I also >> haven't yet proved that the problem is NP-complete, so there may be a >> polynomial time solution even if P != NP). >> > Hi Andrew > > If

Re: [cellml-discussion] Identifying smaller subsystems of simultaneous equations in differential-algebraic models

2008-04-21 Thread Randall Britten
> However, in general, I haven't been able to find an efficient > (polynomial time) algorithm to compute this break-down (but I also > haven't yet proved that the problem is NP-complete, so there may be a > polynomial time solution even if P != NP). > Hi Andrew If possible, please outline the alg

[cellml-discussion] Identifying smaller subsystems of simultaneous equations in differential-algebraic models

2008-04-15 Thread Andrew Miller
Hi all, One issue which has recently been discussed amongst those of us working on CellML tools is the best way to handle models which require systems of equations to be solved efficiently. For example, if a model has equations like: f1(a, b, c) = 0 f2(a, b, c) = 0 f3(a, c) = 0 f4(b, c, d, e)