<?xml version='1.0'?>
<!DOCTYPE art SYSTEM 'http://www.biomedcentral.com/xml/article.dtd'>
<art><ui>1751-0473-6-12</ui><ji>1751-0473</ji><fm>
<dochead>Software review</dochead>
<bibl>
<title>
<p>A proof of the DBRF-MEGN method, an algorithm for deducing minimum equivalent gene networks</p>
</title>
<aug>
<au id="A1"><snm>Kyoda</snm><fnm>Koji</fnm><insr iid="I1"/><insr iid="I2"/><insr iid="I3"/><email>kkyoda@riken.jp</email></au>
<au id="A2"><snm>Baba</snm><fnm>Kotaro</fnm><insr iid="I4"/><insr iid="I5"/><email>baba@kotaro.org</email></au>
<au id="A3"><snm>Kitano</snm><fnm>Hiroaki</fnm><insr iid="I3"/><insr iid="I4"/><insr iid="I6"/><email>h.kitano@csl.sony.co.jp</email></au>
<au ca="yes" id="A4"><snm>Onami</snm><fnm>Shuichi</fnm><insr iid="I1"/><insr iid="I2"/><insr iid="I4"/><email>sonami@riken.jp</email></au>
</aug>
<insg>
<ins id="I1"><p>Laboratory for Developmental Dynamics, RIKEN Quantitative Biology Center, and Advanced Computational Sciences Department, RIKEN Advanced Science Institute, 1-7-22 Suehirocho, Tsurumi, Yokohama 230-0045, Japan</p></ins>
<ins id="I2"><p>Graduate School of Science and Technology, Keio University, 3-14-1 Hiyoshi, Kohoku, Yokohama 223-8522, Japan</p></ins>
<ins id="I3"><p>Kitano Symbiotic Systems Project, ERATO, Japan Science and Technology Corporation, M31 6A, 6-31-15 Jingumae, Shibuya, Tokyo 150-0001, Japan</p></ins>
<ins id="I4"><p>The Systems Biology Institute, 5-6-9 Shirokanedai, Minato, Tokyo 108-0071, Japan</p></ins>
<ins id="I5"><p>National Institute of Agrobiological Sciences, 2-1-2 Kannondai, Tsukuba, Ibaraki 305-8602, Japan</p></ins>
<ins id="I6"><p>Sony Computer Science Laboratories, Inc, 3-14-13 Higashi-gotanda, Shinagawa, Tokyo 141-0022, Japan</p></ins>
</insg>
<source>Source Code for Biology and Medicine</source>
<issn>1751-0473</issn>
<pubdate>2011</pubdate>
<volume>6</volume>
<issue>1</issue>
<fpage>12</fpage>
<url>http://www.scfbm.org/content/6/1/12</url>
<xrefbib><pubidlist><pubid idtype="doi">10.1186/1751-0473-6-12</pubid><pubid idtype="pmpid">21699737</pubid></pubidlist></xrefbib>
</bibl>
<history><rec><date><day>13</day><month>9</month><year>2010</year></date></rec><acc><date><day>24</day><month>6</month><year>2011</year></date></acc><pub><date><day>24</day><month>6</month><year>2011</year></date></pub></history>
<cpyrt><year>2011</year><collab>Kyoda et al; licensee BioMed Central Ltd.</collab><note>This is an Open Access article distributed under the terms of the Creative Commons Attribution License (<url>http://creativecommons.org/licenses/by/2.0</url>), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.</note></cpyrt>
<kwdg>
<kwd>DBRF-MEGN method</kwd>
<kwd>proof</kwd>
<kwd>algorithm</kwd>
<kwd>gene network</kwd>
<kwd>expression profiles</kwd>
</kwdg>
<abs>
<sec>
<st>
<p>Abstract</p>
</st>
<sec>
<st>
<p>Background</p>
</st>
<p>We previously developed the DBRF-MEGN (<ul>d</ul>ifference-<ul>b</ul>ased <ul>r</ul>egulation <ul>f</ul>inding-<ul>m</ul>inimum <ul>e</ul>quivalent <ul>g</ul>ene <ul>n</ul>etwork) method, which deduces the most parsimonious signed directed graphs (SDGs) consistent with expression profiles of single-gene deletion mutants. However, until the present study, we have not presented the details of the method's algorithm or a proof of the algorithm.</p>
</sec>
<sec>
<st>
<p>Results</p>
</st>
<p>We describe in detail the algorithm of the DBRF-MEGN method and prove that the algorithm deduces all of the exact solutions of the most parsimonious SDGs consistent with expression profiles of gene deletion mutants.</p>
</sec>
<sec>
<st>
<p>Conclusions</p>
</st>
<p>The DBRF-MEGN method provides all of the exact solutions of the most parsimonious SDGs consistent with expression profiles of gene deletion mutants.</p>
</sec>
</sec>
</abs>
</fm><bdy>
<sec>
<st>
<p>Background</p>
</st>
<p>Identification of gene regulatory networks (hereafter called gene networks) is essential for understanding cellular functions. Large-scale gene deletion projects <abbrgrp>
<abbr bid="B1">1</abbr>
<abbr bid="B2">2</abbr>
<abbr bid="B3">3</abbr>
<abbr bid="B4">4</abbr>
</abbrgrp> and DNA microarrays <abbrgrp>
<abbr bid="B5">5</abbr>
<abbr bid="B6">6</abbr>
</abbrgrp> have enabled the creation of large-scale gene expression profiles of gene deletion mutants <abbrgrp>
<abbr bid="B7">7</abbr>
<abbr bid="B8">8</abbr>
</abbrgrp>; these large-scale profiles comprise the expression levels of thousands of genes measured in deletion mutants of those genes. Such profiles are invaluable sources for identifying gene networks. Many procedures have been developed for inferring gene networks from such profiles <abbrgrp>
<abbr bid="B9">9</abbr>
<abbr bid="B10">10</abbr>
<abbr bid="B11">11</abbr>
<abbr bid="B12">12</abbr>
<abbr bid="B13">13</abbr>
<abbr bid="B14">14</abbr>
<abbr bid="B15">15</abbr>
<abbr bid="B16">16</abbr>
<abbr bid="B17">17</abbr>
<abbr bid="B18">18</abbr>
</abbrgrp>.</p>
<p>Kyoda et al. developed the DBRF-MEGN (<ul>d</ul>ifference-<ul>b</ul>ased <ul>r</ul>egulation <ul>f</ul>inding-<ul>m</ul>inimum <ul>e</ul>quivalent <ul>g</ul>ene <ul>n</ul>etwork) method, an algorithm for inferring gene networks from large-scale gene expression profiles of gene deletion mutants <abbrgrp>
<abbr bid="B14">14</abbr>
</abbrgrp>. In this algorithm, gene networks are modeled as signed directed graphs (SDGs) in which a regulation between two genes is represented as a signed directed edge whose sign - positive or negative - represents whether the effect of the regulation is activation or inhibition and whose direction represents which gene regulates which other gene; the most parsimonious SDGs consistent with the expression profiles are thus deduced. Kyoda et al. showed that the method is applicable to large-scale gene expression profiles of gene deletion mutants and that networks deduced by the method are valid and useful for predicting functions of genes <abbrgrp>
<abbr bid="B14">14</abbr>
</abbrgrp>. However, details of the method's algorithm and a proof of the algorithm have not previously been published.</p>
<p>Here we describe in detail the algorithm of the DBRF-MEGN method and prove that the algorithm provides all of the exact solutions of the most parsimonious gene networks consistent with expression profiles of gene deletion mutants.</p>
<sec>
<st>
<p>Implementation</p>
</st>
<p>The software of the DBRF-MEGN method was written in C++ under Linux. The complete source code files, a binary Linux executable file, and the software manual are available [see Additional File <supplr sid="S1">1</supplr>].</p>
<suppl id="S1">
<title>
<p>Additional file 1</p>
</title>
<text>
<p>
<b>The complete source code files, a binary Linux executable file, and the software manual</b>.</p>
</text>
<file name="1751-0473-6-12-S1.ZIP">
   <p>Click here for file</p>
</file>
</suppl>
</sec>
</sec>
<sec>
<st>
<p>Results</p>
</st>
<sec>
<st>
<p>Difference-based deduction of initially deduced edges and the minimum equivalent gene networks</p>
</st>
<p>The DBRF-MEGN method consists of five processes, namely (1) difference-based deduction of initially deduced edges, (2) removal of non-essential edges from the initially deduced edges, (3) selection of the uncovered edges in main components from the non-essential edges, (4) separation of the uncovered edges in main components into independent groups, and (5) restoration of the minimum number of edges from each independent group <abbrgrp>
<abbr bid="B14">14</abbr>
</abbrgrp>. First, we define a gene network modeled as an SDG:</p>
<p>
<b>Definition 1: </b>A signed directed graph (SDG) is given by a tuple <it>G </it>= (<it>V, E, f</it>) with a set <it>V </it>of nodes (genes), a set <it>E</it>&#8838;<it>V&#215;V </it>of directed edges, and an edge sign function <it>f:E</it>&#8594;{&#177; 1}, which is an integral part of an SDG.</p>
<p>The first process of the DBRF-MEGN method is "difference-based deduction of initially deduced edges" (Figure <figr fid="F1">1b</figr>), which uses an assumption that is commonly made in genetics and cell biology <abbrgrp>
<abbr bid="B14">14</abbr>
</abbrgrp>, i.e., there exists a positive (negative) regulation from gene <it>A </it>to gene <it>B </it>when the expression level of gene <it>B </it>in the deletion mutant of gene <it>A </it>is significantly lower (higher) than in the wild-type (Figure <figr fid="F1">1a</figr>). For each possible pair of genes in the profiles, the process determines whether positive (negative) regulations between those genes exist and deduces all edges consistent with both the assumption and the profiles by detecting the difference in expression levels between the wild type and deletion mutants; we call these edges <it>initially deduced edge</it>s.</p>
<fig id="F1"><title><p>Figure 1</p></title><caption><p>An example of the deduction of MEGNs from the expression profiles of gene deletion mutants</p></caption><text>
   <p><b>An example of the deduction of MEGNs from the expression profiles of gene deletion mutants</b>. <b>(a) </b>An assumption used in the DBRF-MEGN method. <b>(b) </b>Deduction of the initially deduced edges. The matrix represents a set of expression profiles and the schematic represents a set of initially deduced edges. In the matrix, <it>A, B</it>, ... represent expression levels of gene <it>A</it>, gene <it>B</it>, ..., and <it>a&#916;, b&#916;</it>, ... represent deletion mutants of gene <it>A, B</it>, ... The up (down) arrows indicate that the gene expression levels are higher (lower) in the deletion mutant than in the wild type. <b>(c) </b>Essential edges. Non-essential edges are gray-dotted. <b>(d) </b>Uncovered edges. Uncovered edges are gray-dotted and covered edges are black-dotted. <b>(e) </b>Exclusion of uncovered edges in peripheral components. <inline-formula><graphic file="1751-0473-6-12-i110.gif"/></inline-formula>, <inline-formula><graphic file="1751-0473-6-12-i111.gif"/></inline-formula>, <inline-formula><graphic file="1751-0473-6-12-i112.gif"/></inline-formula>, and <inline-formula><graphic file="1751-0473-6-12-i113.gif"/></inline-formula> are uncovered edges in peripheral components. The resulting four gray-dotted edges are uncovered edges in main components. <b>(f) </b>Independent groups of uncovered edges in main components. For each group, the minimum number of edges with which essential edges can explain all edges in the group are shown: (<it>E, J</it>) or (<it>F, J</it>) for G0, and (<it>H, K</it>) or (<it>H, L</it>) for G1. <b>(g) </b>Four MEGNs of the profiles. Combinations of the minimum numbers of edges of two independent groups (G0 and G1) produce all four MEGNs.</p>
</text><graphic file="1751-0473-6-12-1" hint_layout="double"/></fig>
<p>
<b>Definition 2: </b>Let us assume the intervention experiments
have been performed for the gene set <it>J, J </it>&#8838;
<it>V</it>. Let <it>D </it>= (d<it>
<sub>jk</sub>
</it>)
&#8712;<it>R<sup>J&#215;V </sup>
</it>be a matrix such that
<it>d<sub>jk </sub>
</it>represents the expression of gene <it>k
</it>after an intervention in gene <it>j </it>(relative to wild-type expression). From this, we deduce the graph initially deduced edges, <it>G<sub>ide </sub>= (V,E<sub>ide</sub>,f)</it>. We assume a negative regulation of <it>k </it>by <it>j </it>if <it>d<sub>jk </sub>
</it>&gt; &#945; for some suitably chosen constant &#945;. Analogously, a positive regulation of <it>k </it>by <it>j </it>is postulated whenever <it>d<sub>jk </sub>
</it>&lt; <it>&#946; </it>for some <it>&#946; </it>(sensibly, we require <it>&#946; </it>&lt; 0 &lt; &#945;). Formally,</p>
<p>
<display-formula>
<graphic file="1751-0473-6-12-i1.gif"/>
</display-formula>
</p>
<p>and <it>f:E<sub>ide</sub>
</it>&#8594;{&#177; 1} is given by <it>f</it>((<it>j,k</it>)) = 1 if there is a positive regulation of <it>k </it>by <it>j</it>, and otherwise <it>f</it>((<it>j,k</it>)) = -1.</p>
<p>The thresholds &#945; and &#946; determine the significance of the difference in expression levels between the wild type and deletion mutants. These thresholds can be specified by various procedures such as by using fold-change or the statistical significance of the expression level <abbrgrp>
<abbr bid="B7">7</abbr>
<abbr bid="B8">8</abbr>
<abbr bid="B14">14</abbr>
<abbr bid="B19">19</abbr>
<abbr bid="B20">20</abbr>
</abbrgrp>.</p>
<p>The DBRF-MEGN method deduces the most parsimonious SDGs consistent with the SDG that consists of the initially deduced edges. Before defining the most parsimonious SDGs, we need to introduce the function <it>exp </it>and the concept <it>cover </it>(Figure <figr fid="F2">2</figr>).</p>
<fig id="F2"><title><p>Figure 2</p></title><caption><p>Introduction to the function "exp" and the concept "cover"</p></caption><text>
   <p><b>Introduction to the function "exp" and the concept "cover"</b>. <b>(a) </b>Initially deduced edges (<it>E<sub>ide</sub></it>). <b>(b) </b>A set of edges (<it>E<sub>p</sub></it>). <b>(c) </b>Four cases of <it>exp</it>(<it>a, b, c</it>) = 1. In each case, (<it>a, c</it>) is <it>explained </it>by (<it>a, b</it>) and (<it>b, c</it>). <b>(d) </b>The set of edges that are covered by edges in <it>E<sub>p </sub></it>(<inline-formula><graphic file="1751-0473-6-12-i114.gif"/></inline-formula>). (<it>A, C</it>) and (<it>C, D</it>) explain (<it>A, D</it>); the (<it>A, D</it>) and (<it>B, A</it>) explain (<it>B, D</it>). Thus, (<it>A, D</it>) and (<it>B, D</it>) are <it>covered </it>by edges in <it>E<sub>p</sub></it>. (<it>D, E</it>) is not <it>covered </it>by edges in <it>E<sub>p </sub></it>because (<it>D, E</it>) cannot be explained by edges in <it>E<sub>p</sub></it>. <b>(e) </b>Edges that are covered by edges in <it>E<sub>p </sub></it>(black) and those that are not covered by edges in <it>E<sub>p </sub></it>(gray-dotted).</p>
</text><graphic file="1751-0473-6-12-2" hint_layout="single"/></fig>
<p>
<b>Definition 3: </b>If, and only if, &#8707; (<it>i, j</it>), (<it>j, k</it>), (<it>i, k</it>) | <it>f</it>(<it>i, j</it>) &#215; <it>f</it>(<it>j, k</it>) = <it>f</it>(<it>i, k</it>), then <it>exp</it>(<it>i, j, k</it>) = 1; otherwise, <it>exp</it>(<it>i, j, k</it>) = 0.</p>
<p>
<b>Definition 4: </b>Let <it>E<sub>p </sub>
</it>&#8838; <it>E<sub>ide </sub>
</it>be a set of edges. Define <inline-formula>
<graphic file="1751-0473-6-12-i2.gif"/>
</inline-formula> and by induction <inline-formula>
<graphic file="1751-0473-6-12-i3.gif"/>
</inline-formula> such that <it>exp</it>(<it>j</it>,<it>i</it>,<it>k</it>)=1}. Moreover, let <inline-formula>
<graphic file="1751-0473-6-12-i4.gif"/>
</inline-formula>.</p>
<p>
<b>Remark: </b>The family of edge sets on <it>V </it>is partially ordered by set inclusion. If <it>E</it>
<sub>1</sub>&#8838;<it>E</it>
<sub>2</sub>, note that by a trivial induction on <it>r</it>, <inline-formula>
<graphic file="1751-0473-6-12-i5.gif"/>
</inline-formula>, and hence <inline-formula>
<graphic file="1751-0473-6-12-i6.gif"/>
</inline-formula>. This means that the mapping <inline-formula>
<graphic file="1751-0473-6-12-i7.gif"/>
</inline-formula> is monotonic. Let <it>E </it>&#8838; <it>E<sub>ide</sub>
</it>. By construction, an edge (<it>j, k</it>) from <inline-formula>
<graphic file="1751-0473-6-12-i8.gif"/>
</inline-formula> is an element of <inline-formula>
<graphic file="1751-0473-6-12-i9.gif"/>
</inline-formula> for suitable <it>r,s </it>&#8712; <it>N</it>. This implies <inline-formula>
<graphic file="1751-0473-6-12-i10.gif"/>
</inline-formula>. Thus <inline-formula>
<graphic file="1751-0473-6-12-i11.gif"/>
</inline-formula>, and the mapping <inline-formula>
<graphic file="1751-0473-6-12-i12.gif"/>
</inline-formula> is a so-called closure operation.</p>
<p>
<b>Lemma 1: </b>If <it>E</it>
<sub>1</sub>&#8838;<it>E</it>
<sub>2</sub>, <inline-formula>
<graphic file="1751-0473-6-12-i13.gif"/>
</inline-formula>.</p>
<p>
<b>Proof: </b>The remark proves lemma 1.</p>
<p>
<b>Lemma 2: </b>If <inline-formula>
<graphic file="1751-0473-6-12-i14.gif"/>
</inline-formula>, then <inline-formula>
<graphic file="1751-0473-6-12-i13.gif"/>
</inline-formula>.</p>
<p>
<b>Proof: </b>
<inline-formula>
<graphic file="1751-0473-6-12-i15.gif"/>
</inline-formula> by monotonicity and closure of the mapping .<sup>cov</sup>.</p>
<p>
<b>Lemma 3: </b>If <inline-formula>
<graphic file="1751-0473-6-12-i14.gif"/>
</inline-formula> and <inline-formula>
<graphic file="1751-0473-6-12-i16.gif"/>
</inline-formula>, then <inline-formula>
<graphic file="1751-0473-6-12-i17.gif"/>
</inline-formula>.</p>
<p>
<b>Proof: </b>By <inline-formula>
<graphic file="1751-0473-6-12-i18.gif"/>
</inline-formula> by monotonicity and closure of the mapping.<sup>cov</sup>.</p>
<p>Now, we define the most parsimonious SDGs consistent with the expression profiles of gene deletion mutants. A most parsimonious SDG consists of the minimum number of edges that "cover" all initially deduced edges. By this definition, an edge can be redundant only when it is "explained" by two other initially deduced edges. Importantly, an edge is not redundant when it is "explained" by only three or more initially deduced edges (Figure <figr fid="F3">3a</figr>). We call the most parsimonious SDGs <it>minimum equivalent gene networks </it>(<it>MEGNs</it>).</p>
<fig id="F3"><title><p>Figure 3</p></title><caption><p>Difference between MEGN and MEG</p></caption><text>
   <p><b>Difference between MEGN and MEG</b>. Deduction of the MEGN <b>(a) </b>and the MEG <b>(b) </b>from the same graph is shown. The MEGN includes the edge from <it>A </it>to <it>D </it>because no two edges explain the edge. In contrast, the MEG does not include the edge from <it>A </it>to <it>D </it>because <it>A </it>can reach <it>D </it>without using the edge from <it>A </it>to <it>D </it>(<it>A&#8594;B&#8594;C&#8594;D</it>). The MEGN consists only of the essential edges.</p>
</text><graphic file="1751-0473-6-12-3" hint_layout="single"/></fig>
<p>
<b>Definition 5: </b>
<inline-formula>
<graphic file="1751-0473-6-12-i19.gif"/>
</inline-formula> (where <inline-formula>
<graphic file="1751-0473-6-12-i120.gif"/>
</inline-formula> is the restriction of <it>f </it>to <it>E</it>
<sub>0</sub>) is a most parsimonious SDG, named a MEGN, of <it>G </it>= (<it>V,E<sub>ide</sub>,f</it>) if and only if it satisfies the following conditions: (1) <it>E</it>
<sub>0</sub>&#8838;<it>E<sub>ide</sub>
</it>, (2) <inline-formula>
<graphic file="1751-0473-6-12-i20.gif"/>
</inline-formula>, (3) &#8704; <it>E<sub>p </sub>
</it>&#8838; <it>E<sub>ide </sub>
</it>such that <inline-formula>
<graphic file="1751-0473-6-12-i21.gif"/>
</inline-formula>, <inline-formula>
<graphic file="1751-0473-6-12-i22.gif"/>
</inline-formula>. Since we keep <it>G </it>= (<it>V,E<sub>ide</sub>,f</it>) fixed for the rest of the paper, we often call <it>G</it>
<sub>0 </sub>simply a MEGN, without explicit reference to <it>G</it>.</p>
</sec>
<sec>
<st>
<p>Removal of non-essential edges from the initially deduced edges</p>
</st>
<p>The second process of the DBRF-MEGN method removes all non-essential edges from the initially deduced edges. The process removes all edges that are explained by two other initially deduced edges (Figure <figr fid="F1">1c</figr>). The resulting edges are called <it>essential edges </it>and the removed edges are called <it>non-essential edges</it>.</p>
<p>
<b>Definition 6: </b>If there exist (<it>i, j</it>), (<it>j, k</it>), (<it>i, k</it>) &#8712; <it>E<sub>ide </sub>
</it>such that <it>exp</it>(<it>i, j, k</it>) = 1, then (<it>i, k</it>) is called a <it>non-essential edge</it>. Let <it>E<sub>nes </sub>
</it>be the set of non-essential edges. The set <it>E<sub>es </sub>
</it>of essential edges is the complement of <it>E<sub>nes </sub>
</it>in <it>E<sub>ide</sub>, E<sub>es </sub>
</it>= <it>E<sub>ide</sub>
</it>\<it>E<sub>nes</sub>
</it>.</p>
<p>Essential edges and non-essential edges have the following properties.</p>
<p>
<b>Lemma 4: </b>If <it>E<sub>p </sub>
</it>&#8838; <it>E<sub>ide </sub>
</it>and <inline-formula>
<graphic file="1751-0473-6-12-i23.gif"/>
</inline-formula>, then <it>E</it>
<sub>
<it>p </it>
</sub>&#8839; <it>E</it>
<sub>
<it>es</it>
</sub>.</p>
<p>
<b>Proof: </b>Assume that there exists (<it>i, j</it>) &#8712;<it>E<sub>es </sub>
</it>such that (<it>i, j</it>) <inline-formula>
<graphic file="1751-0473-6-12-i24.gif"/>
</inline-formula> and (<it>i, j</it>) &#8713; <it>E<sub>p</sub>
</it>. Because (<it>i, j</it>) <inline-formula>
<graphic file="1751-0473-6-12-i24.gif"/>
</inline-formula> and (<it>i, j</it>) &#8713; <it>E<sub>p</sub>
</it>, there exist (<it>i, k</it>), (<it>k, j</it>)<inline-formula>
<graphic file="1751-0473-6-12-i24.gif"/>
</inline-formula> such that <it>exp</it>(<it>i, k, j</it>) = 1. This contradicts our assumption (<it>i, j</it>) &#8713; <it>E<sub>es</sub>
</it>.</p>
<p>
<b>Lemma 5: </b>If <inline-formula>
<graphic file="1751-0473-6-12-i19.gif"/>
</inline-formula> is a MEGN, <it>E<sub>es </sub>
</it>&#8838; <it>E</it>
<sub>0</sub>.</p>
<p>
<b>Proof: </b>
<inline-formula>
<graphic file="1751-0473-6-12-i25.gif"/>
</inline-formula>, hence <it>E<sub>0 </sub>
</it>&#8839; <it>E<sub>es </sub>
</it>by lemma 4.</p>
<p>When the essential edges cover all initially deduced edges, the SDG consisting of the essential edges is the only MEGN consistent with the profiles.</p>
<p>
<b>Theorem 1: </b>If <inline-formula>
<graphic file="1751-0473-6-12-i26.gif"/>
</inline-formula>, then <inline-formula>
<graphic file="1751-0473-6-12-i27.gif"/>
</inline-formula> is the unique MEGN of <it>G </it>= (<it>V, E<sub>ide</sub>, f</it>).</p>
<p>
<b>Proof: </b>By hypothesis, conditions (1) <it>E<sub>es </sub>
</it>&#8838; <it>E<sub>ide</sub>
</it>, and (2) <inline-formula>
<graphic file="1751-0473-6-12-i26.gif"/>
</inline-formula>, of a MEGN are met. It remains to show the uniqueness and minimality of <it>E<sub>es</sub>
</it>. (3) Let <inline-formula>
<graphic file="1751-0473-6-12-i19.gif"/>
</inline-formula> be an arbitrary MEGN. Then by lemma 5, <it>E<sub>es </sub>
</it>&#8838; <it>E</it>
<sub>0</sub>, and by minimality of <it>E</it>
<sub>0</sub>, it follows that <it>E<sub>es </sub>
</it>= <it>E</it>
<sub>0</sub>. The theorem is proved.</p>
</sec>
<sec>
<st>
<p>Selection of the uncovered edges in main components from the non-essential edges</p>
</st>
<p>The essential edges sometime fail to cover all initially deduced edges because some edges in the initially deduced edges represent direct gene regulations even when they are explained by two other edges (Figure <figr fid="F1">1d</figr>). In this case, the method restores the minimum number of non-essential edges so that the resulting edges (essential edges and the restored non-essential edges) cover all initially deduced edges. The SDG, consisting of essential edges and of the restored non-essential edges, is a MEGN. Before selecting the sets of non-essential edges to be restored, the method distinguishes non-essential edges that have a chance to be included in the MEGNs from those that do not in order to reduce the number of non-essential edges to be considered for the restoration and thus to reduce the computational cost to find non-essential edges to be restored. This third process of the DBRF-MEGN method consists of two sub-processes, namely (a) selection of uncovered edges and (b) selection of uncovered edges in main components. The resulting non-essential edges are called <it>uncovered edges in main components</it>, and from these edges the later processes of the DBRF-MEGN method select edges that are included in the MEGNs.</p>
<sec>
<st>
<p>a) Selection of uncovered edges</p>
</st>
<p>The first sub-process distinguishes the non-essential edges that are covered by the essential edges from those that are not (Figure <figr fid="F1">1d</figr>). Those edges are called <it>covered edges </it>and <it>uncovered edges</it>, respectively.</p>
<p>
<b>Definition 7: </b>Let <it>E<sub>cv </sub>
</it>= (<it>E<sub>es</sub>
</it>)<sup>cov</sup>\ <it>E<sub>es </sub>
</it>be the set of <it>covered </it>edges. Let <it>E<sub>ucv </sub>
</it>= <it>E<sub>ide </sub>
</it>\( <it>E<sub>es </sub>
</it>&#8746; <it>E<sub>cv</sub>
</it>) be the set of <it>uncovered </it>edges. The set of initially deduced edges is thereby partitioned into three disjoint edge sets: <it>E<sub>ide </sub>
</it>= <it>E<sub>es </sub>
</it>&#8746; <it>E<sub>cv </sub>
</it>&#8746; <it>E<sub>ucv</sub>
</it>.</p>
<p>Here, we prove that the MEGNs do not include covered edges.</p>
<p>
<b>Lemma 6: </b>If <inline-formula>
<graphic file="1751-0473-6-12-i19.gif"/>
</inline-formula> is a MEGN, then <it>E<sub>es </sub>
</it>&#8838; <it>E<sub>0 </sub>
</it>&#8838; <it>E<sub>es </sub>
</it>&#8746; <it>E<sub>ucv</sub>
</it>.</p>
<p>
<b>Proof: </b>First, <it>E<sub>es </sub>
</it>&#8838; <it>E<sub>0 </sub>
</it>by lemma 5. By definition 7, <it>E<sub>es </sub>
</it>&#8838; <it>E<sub>0</sub>\E<sub>cv</sub>
</it>, hence <inline-formula>
<graphic file="1751-0473-6-12-i28.gif"/>
</inline-formula> by monotonicity of.<sup>cov</sup>. It follows that <inline-formula>
<graphic file="1751-0473-6-12-i29.gif"/>
</inline-formula> by lemma 2. By minimality of <it>E</it>
<sub>0</sub>, <it>E<sub>0 </sub>
</it>= <it>E<sub>0</sub>\ E<sub>cv</sub>
</it>, which is equivalent to <it>E<sub>0 </sub>
</it>&#8745; <it>E<sub>cv </sub>
</it>= <it>&#934;</it>. By definition 7, this implies <it>E<sub>0 </sub>
</it>&#8838; <it>E<sub>es </sub>
</it>&#8746; <it>E<sub>ucv</sub>
</it>, completing the proof.</p>
</sec>
<sec>
<st>
<p>b) Selection of uncovered edges in main components</p>
</st>
<p>The second sub-process distinguishes uncovered edges that have a chance to be included in the MEGNs from those that do not (Figure <figr fid="F1">1e</figr>; Figure <figr fid="F4">4</figr>). Those edges are called uncovered edges in main components and <it>uncovered edges in peripheral components</it>. The uncovered edges in peripheral components are defined as follows:</p>
<fig id="F4"><title><p>Figure 4</p></title><caption><p>Example of uncovered edges in peripheral and main components</p></caption><text>
   <p><b>Example of uncovered edges in peripheral and main components</b>. <b>(a) </b>Initially deduced edges (<it>E<sub>ide</sub></it>). <b>(b) </b>Essential edges (<it>E<sub>es</sub></it>). Non-essential edges are dotted. <b>(c) </b>Uncovered edges (<it>E<sub>ucv</sub></it>). Because all non-essential edges cannot be covered by essential edges, the non-essential edges are called <it>uncovered edges </it>(<it>E<sub>ucv</sub></it>). <b>(d) </b>Uncovered edges in peripheral components (gray-dotted). (<it>B, D</it>) and (<it>B, E</it>) are uncovered edges in peripheral components because (<it>B, E</it>) does not explain any other edges in <it>E<sub>ucv </sub></it>with an edge in <it>E<sub>ide</sub></it>, and (<it>B, D</it>) does not explain any other edges in <it>E<sub>ucv </sub></it>except (<it>B, E</it>) with an edge in <it>E<sub>ide</sub></it>. (<it>A, C</it>) and (<it>B, C</it>) are uncovered edges in main components. If edges in a MEGN cover (<it>A, C</it>) and (<it>B, C</it>), the edges also cover (<it>B, D</it>) and (<it>B, E</it>). (<it>B, D</it>) and (<it>B, E</it>) cover no edges except themselves. Thus, (<it>B, D</it>) and (<it>B, E</it>) are not included in the MEGNs.</p>
</text><graphic file="1751-0473-6-12-4" hint_layout="single"/></fig>
<p>
<b>Definition 8: </b>Define <inline-formula>
<graphic file="1751-0473-6-12-i30.gif"/>
</inline-formula> be the set of uncovered edges (<it>i,j</it>) &#8712; <it>E<sub>ucv </sub>
</it>which cannot be used to directly explain another uncovered edge in <it>E<sub>ucv </sub>
</it>with the other edges (<it>k,i</it>) &#8712; <it>E<sub>ide </sub>
</it>or (<it>j,k</it>) &#8712; <it>E<sub>ide</sub>
</it>.</p>
<p>
<b>Lemma 7: </b>
<inline-formula>
<graphic file="1751-0473-6-12-i31.gif"/>
</inline-formula>.</p>
<p>
<b>Proof: </b>By definition 8, the edges in <inline-formula>
<graphic file="1751-0473-6-12-i30.gif"/>
</inline-formula> cannot explain another uncovered edges in <it>E<sub>ucv</sub>
</it>. Therefore, the edges in <inline-formula>
<graphic file="1751-0473-6-12-i30.gif"/>
</inline-formula> can be explained by the edges in <inline-formula>
<graphic file="1751-0473-6-12-i32.gif"/>
</inline-formula>. The lemma is proved.</p>
<p>
<b>Definition 9: </b>Following the definition 8, define <inline-formula>
<graphic file="1751-0473-6-12-i33.gif"/>
</inline-formula> which cannot be used to directly explain another uncovered edge in <inline-formula>
<graphic file="1751-0473-6-12-i34.gif"/>
</inline-formula> with the other edges (<it>k,i</it>) &#8712; <it>E<sub>ide </sub>
</it>or (<it>j,k</it>) &#8712; <it>E<sub>ide</sub>
</it>}. Let <inline-formula>
<graphic file="1751-0473-6-12-i35.gif"/>
</inline-formula> be the set of <it>uncovered edges in peripheral components</it>. Let <inline-formula>
<graphic file="1751-0473-6-12-i36.gif"/>
</inline-formula> be the set of <it>uncovered edges in main components</it>. The set of initially deduced edges is thereby partitioned into four disjoint edge sets: <inline-formula>
<graphic file="1751-0473-6-12-i37.gif"/>
</inline-formula>.</p>
<p>In the following, we prove that the MEGNs do not include uncovered edges in peripheral components. First, we prove that uncovered edges in peripheral components have the following properties.</p>
<p>
<b>Lemma 8: </b>
<inline-formula>
<graphic file="1751-0473-6-12-i38.gif"/>
</inline-formula>.</p>
<p>
<b>Proof: </b>We prove lemma 8 by mathematical induction. (1) By lemma 7, lemma 8 is true when <it>r </it>= 0. By definitions 8 and 9, <inline-formula>
<graphic file="1751-0473-6-12-i39.gif"/>
</inline-formula>, hence <inline-formula>
<graphic file="1751-0473-6-12-i40.gif"/>
</inline-formula>. By lemmas 2 and 7, <inline-formula>
<graphic file="1751-0473-6-12-i41.gif"/>
</inline-formula>. Thus, lemma 8 is true when <it>r </it>= 1. (2) Assume that lemma 8 is true when <it>r </it>= <it>m</it>. This means that we assume that <inline-formula>
<graphic file="1751-0473-6-12-i42.gif"/>
</inline-formula> (2a). By definition 9, <inline-formula>
<graphic file="1751-0473-6-12-i43.gif"/>
</inline-formula> (2b). Because <inline-formula>
<graphic file="1751-0473-6-12-i44.gif"/>
</inline-formula> and (2b), <inline-formula>
<graphic file="1751-0473-6-12-i45.gif"/>
</inline-formula> (2c). Because (2a), (2c) and lemma 3, <inline-formula>
<graphic file="1751-0473-6-12-i46.gif"/>
</inline-formula> (2d). Because (2b) and (2d), <inline-formula>
<graphic file="1751-0473-6-12-i47.gif"/>
</inline-formula>. Thus, lemma 8 is true when <it>r </it>= <it>m </it>+1, if it is true when <it>r </it>= <it>m</it>. By (1) and (2), lemma 8 is true.</p>
<p>
<b>Lemma 9: </b>
<inline-formula>
<graphic file="1751-0473-6-12-i48.gif"/>
</inline-formula>.</p>
<p>
<b>Proof: </b>By lemma 8, <inline-formula>
<graphic file="1751-0473-6-12-i49.gif"/>
</inline-formula>. Because <inline-formula>
<graphic file="1751-0473-6-12-i50.gif"/>
</inline-formula>, lemma 9 is true.</p>
<p>Now we prove that the MEGNs do not include uncovered edges in peripheral components.</p>
<p>
<b>Lemma 10: </b>If <inline-formula>
<graphic file="1751-0473-6-12-i19.gif"/>
</inline-formula> is a MEGN, <inline-formula>
<graphic file="1751-0473-6-12-i51.gif"/>
</inline-formula>.</p>
<p>
<b>Proof: </b>Assume that there exists <inline-formula>
<graphic file="1751-0473-6-12-i52.gif"/>
</inline-formula>. Because of lemma 5 and definition 7, <inline-formula>
<graphic file="1751-0473-6-12-i53.gif"/>
</inline-formula>, hence <inline-formula>
<graphic file="1751-0473-6-12-i54.gif"/>
</inline-formula> by lemma 6. By the assumption <inline-formula>
<graphic file="1751-0473-6-12-i52.gif"/>
</inline-formula> and definition 8, <inline-formula>
<graphic file="1751-0473-6-12-i55.gif"/>
</inline-formula>, hence <inline-formula>
<graphic file="1751-0473-6-12-i56.gif"/>
</inline-formula>. By lemmas 2 and 9, <inline-formula>
<graphic file="1751-0473-6-12-i57.gif"/>
</inline-formula>. This contradicts our assumption that <inline-formula>
<graphic file="1751-0473-6-12-i19.gif"/>
</inline-formula> is a MEGN. Therefore, <inline-formula>
<graphic file="1751-0473-6-12-i58.gif"/>
</inline-formula>. By definition 9 and lemma 6, this implies <inline-formula>
<graphic file="1751-0473-6-12-i51.gif"/>
</inline-formula>, completing the proof.</p>
</sec>
</sec>
<sec>
<st>
<p>Separation of the uncovered edges in main components into independent groups and restoration of the minimum number of edges from each independent group</p>
</st>
<p>The fourth process of the DBRF-MEGN method separates uncovered edges in main components into "independent groups" so that edges to be restored can be deduced independently for each group (Figure <figr fid="F1">1f</figr>; Figure <figr fid="F5">5</figr>). For each group, the fifth process of the DBRF-MEGN method deduces the minimum number of edges with which essential edges can cover all edges in the group. All sets of such edges are deduced for each group. The essential edges and any possible combination of these sets from each group generate a MEGN of the profiles (Figure <figr fid="F1">1g</figr>).</p>
<fig id="F5"><title><p>Figure 5</p></title><caption><p>An example of independent groups</p></caption><text>
   <p><b>An example of independent groups</b>. <b>(a) </b>Initially deduced edges (<it>E<sub>ide</sub></it>). <b>(b) </b>Essential edges (<it>E<sub>es</sub></it>). Uncovered edges in main components (<inline-formula><graphic file="1751-0473-6-12-i97.gif"/></inline-formula>) are dotted. <b>(c) </b>Independent groups of uncovered edges in main components. Uncovered edges in main components are separated into two independent groups G0 (<inline-formula><graphic file="1751-0473-6-12-i115.gif"/></inline-formula>) and G1 (<inline-formula><graphic file="1751-0473-6-12-i80.gif"/></inline-formula>). Edges in one group do not explain those in other group. <inline-formula><graphic file="1751-0473-6-12-i115.gif"/></inline-formula> consists of <inline-formula><graphic file="1751-0473-6-12-i121.gif"/></inline-formula> and <inline-formula><graphic file="1751-0473-6-12-i122.gif"/></inline-formula>. <inline-formula><graphic file="1751-0473-6-12-i80.gif"/></inline-formula> consists of <inline-formula><graphic file="1751-0473-6-12-i123.gif"/></inline-formula>, <inline-formula><graphic file="1751-0473-6-12-i116.gif"/></inline-formula>, <inline-formula><graphic file="1751-0473-6-12-i117.gif"/></inline-formula>, <inline-formula><graphic file="1751-0473-6-12-i118.gif"/></inline-formula>, and <inline-formula><graphic file="1751-0473-6-12-i119.gif"/></inline-formula>.</p>
</text><graphic file="1751-0473-6-12-5" hint_layout="single"/></fig>
<p>The independent groups are generated so that the edges in one group do not cover those in other groups.</p>
<p>
<b>Definition 10: </b>Define <inline-formula>
<graphic file="1751-0473-6-12-i59.gif"/>
</inline-formula> be a set of an edge <inline-formula>
<graphic file="1751-0473-6-12-i60.gif"/>
</inline-formula>, and by induction <inline-formula>
<graphic file="1751-0473-6-12-i61.gif"/>
</inline-formula> such that <it>exp</it>(<it>i, j, k</it>) = 1 or <inline-formula>
<graphic file="1751-0473-6-12-i62.gif"/>
</inline-formula> such that <it>exp</it>(<it>k, i, j</it>) = 1 or <inline-formula>
<graphic file="1751-0473-6-12-i63.gif"/>
</inline-formula> such that <it>exp</it>(<it>i, k, j</it>) = 1 or <inline-formula>
<graphic file="1751-0473-6-12-i64.gif"/>
</inline-formula> such that <it>exp</it>(<it>i, k, j</it>) = 1}. Let <inline-formula>
<graphic file="1751-0473-6-12-i65.gif"/>
</inline-formula> be the set of edges in an <it>independent group</it>. Let <inline-formula>
<graphic file="1751-0473-6-12-i66.gif"/>
</inline-formula>, where <inline-formula>
<graphic file="1751-0473-6-12-i59.gif"/>
</inline-formula> is a set of an edge <inline-formula>
<graphic file="1751-0473-6-12-i67.gif"/>
</inline-formula> and by induction <inline-formula>
<graphic file="1751-0473-6-12-i68.gif"/>
</inline-formula> such that <it>exp</it>(<it>i, j, k</it>) = 1 or <inline-formula>
<graphic file="1751-0473-6-12-i69.gif"/>
</inline-formula> such that <it>exp</it>(<it>k, i, j</it>) = 1 or <inline-formula>
<graphic file="1751-0473-6-12-i70.gif"/>
</inline-formula> such that <it>exp</it>(<it>i, k, j</it>) = 1 or <inline-formula>
<graphic file="1751-0473-6-12-i71.gif"/>
</inline-formula> such that <it>exp</it>(<it>i, k, j</it>) = 1}. Then, <inline-formula>
<graphic file="1751-0473-6-12-i72.gif"/>
</inline-formula>.</p>
<p>The essential edges and a combination of sets of the minimum number of edges for each independent group generate a MEGN of the profiles.</p>
<p>
<b>Definition 11: </b>Let <inline-formula>
<graphic file="1751-0473-6-12-i73.gif"/>
</inline-formula> be the set of edges in <it>i</it>th independent group that satisfies (1) <inline-formula>
<graphic file="1751-0473-6-12-i74.gif"/>
</inline-formula>, (2) <inline-formula>
<graphic file="1751-0473-6-12-i75.gif"/>
</inline-formula>, and (3) <inline-formula>
<graphic file="1751-0473-6-12-i76.gif"/>
</inline-formula> such that <inline-formula>
<graphic file="1751-0473-6-12-i77.gif"/>
</inline-formula>, <inline-formula>
<graphic file="1751-0473-6-12-i78.gif"/>
</inline-formula>.</p>
<p>We prove that the essential edges and a combination of sets of the minimum number of edges for each independent group generate a MEGN of the profiles as follows:</p>
<p>
<b>Lemma 11: </b>If there exist (<it>i, j</it>) &#8712; <inline-formula>
<graphic file="1751-0473-6-12-i79.gif"/>
</inline-formula>, (<it>i, k</it>), (<it>k, j</it>) &#8712; <it>E<sub>ide </sub>
</it>such that <it>exp</it>(<it>i, k, j</it>) = 1, then {(<it>i, k</it>), (<it>k, j</it>)} &#8745; <it>E<sub>ucv </sub>
</it>&#8838; <inline-formula>
<graphic file="1751-0473-6-12-i80.gif"/>
</inline-formula>.</p>
<p>
<b>Proof: </b>By definition 10, lemma 11 is true.</p>
<p>
<b>Lemma 12: </b>
<inline-formula>
<graphic file="1751-0473-6-12-i81.gif"/>
</inline-formula>.</p>
<p>
<b>Proof: </b>By definitions 7 and 11, <inline-formula>
<graphic file="1751-0473-6-12-i82.gif"/>
</inline-formula>. Because <inline-formula>
<graphic file="1751-0473-6-12-i83.gif"/>
</inline-formula>, <inline-formula>
<graphic file="1751-0473-6-12-i84.gif"/>
</inline-formula>. By lemmas 2 and 8, <inline-formula>
<graphic file="1751-0473-6-12-i85.gif"/>
</inline-formula>. Therefore, <inline-formula>
<graphic file="1751-0473-6-12-i86.gif"/>
</inline-formula>.</p>
<p>
<b>Theorem 2: </b>
<inline-formula>
<graphic file="1751-0473-6-12-i87.gif"/>
</inline-formula> is a MEGN.</p>
<p>
<b>Proof: </b>(1) <inline-formula>
<graphic file="1751-0473-6-12-i88.gif"/>
</inline-formula> by the condition of theorem 2.(2) By lemma 12, <inline-formula>
<graphic file="1751-0473-6-12-i89.gif"/>
</inline-formula>. (3) By lemmas 4, 11 and definition 11, &#8704; <it>E<sub>p </sub>
</it>&#8838; <it>E<sub>ide </sub>
</it>such that <inline-formula>
<graphic file="1751-0473-6-12-i90.gif"/>
</inline-formula>, <inline-formula>
<graphic file="1751-0473-6-12-i91.gif"/>
</inline-formula>. Because <inline-formula>
<graphic file="1751-0473-6-12-i92.gif"/>
</inline-formula> and lemma 2, &#8704; <it>E<sub>p </sub>
</it>&#8838; <it>E<sub>ide </sub>
</it>such that <inline-formula>
<graphic file="1751-0473-6-12-i21.gif"/>
</inline-formula>, <inline-formula>
<graphic file="1751-0473-6-12-i93.gif"/>
</inline-formula>. The theorem is proved.</p>
<p>
<b>Remark: </b>When there exist more than one solution of the minimum number of edges for independent groups, the SDGs each of which consists of the essential edges and a possible combination of sets of the solutions for each independent group are MEGNs because these SDGs must satisfy the conditions in definition 5.</p>
</sec>
<sec>
<st>
<p>Algorithms of the DBRF-MEGN method</p>
</st>
<p>We are concerned with algorithms that are computationally efficient for deducing MEGNs from expression profiles of single-gene deletion mutants. We list these in a form easily translatable into a computer program.</p>
<sec>
<st>
<p>(A1) Algorithm for deducing initially deduced edges</p>
</st>
<p>
<b>double </b>
<it>d</it>[<it>n</it>][<it>n</it>]: gene expression profiles</p>
<p>
<b>int </b>
<it>t</it>[<it>n</it>][<it>n</it>]</p>
<p>
<b>void </b>
<it>dbrf</it>()</p>
<p>&#160;&#160;<b>int </b>
<it>i, j</it>;</p>
<p>&#160;&#160;<b>for </b>
<it>i </it>= 1 <b>to </b>
<it>n </it>
<b>do</b>
</p>
<p>&#160;&#160;&#160;&#160;<b>for </b>
<it>j </it>= 1 <b>to </b>
<it>n </it>
<b>do</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<b>if </b>
<it>d</it>[<it>i</it>][<it>j</it>] &lt; <it>&#946; </it>&amp; <it>i </it>&#8800; <it>j </it>
<b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<it>t</it>[<it>i</it>][<it>j</it>]: = +1;</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<b>else if </b>
<it>d</it>[<it>i</it>][<it>j</it>] &gt; &#945; &amp; <it>i </it>&#8800; <it>j </it>
<b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<it>t</it>[<it>i</it>][<it>j</it>]: = -1;</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<b>else</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<it>t</it>[<it>i</it>][<it>j</it>]: = 0;</p>
<p>The matrix <it>d</it>[<it>n</it>][<it>n</it>] represents the gene expression profiles. Each entry <it>d</it>[<it>i</it>][<it>j</it>] represents the log-ratio of the expression of gene <it>j </it>in gene <it>i </it>deletion mutants to that in the wild-type. The non-zero entries of the resulting matrix <it>t</it>[<it>n</it>][<it>n</it>] represent the initially deduced edges. If an entry <it>t</it>[<it>i</it>][<it>j</it>] is +1 or-1, it represents a positive or negative edge from gene <it>i </it>to gene <it>j</it>, respectively. The number of complete iterations is bounded by <it>n<sup>2</sup>
</it>.</p>
</sec>
<sec>
<st>
<p>(A2) Algorithm for distinguishing the essential edges from the non-essential edges</p>
</st>
<p>
<b>int </b>
<it>t</it>[<it>n</it>][<it>n</it>]: initially deduced edges</p>
<p>
<b>void </b>
<it>ess_noness</it>()</p>
<p>&#160;&#160;<b>int </b>
<it>i, j, k</it>;</p>
<p>&#160;&#160;<b>for </b>
<it>j </it>= 1 <b>to </b>
<it>n </it>
<b>do</b>
</p>
<p>&#160;&#160;&#160;&#160;<b>for </b>
<it>i </it>= 1 <b>to </b>
<it>n </it>
<b>do</b>
</p>
<p>&#160;&#160;&#160;&#160;<b>if </b>
<it>t</it>[<it>i</it>][<it>j</it>] &#8800; 0 <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<b>for </b>
<it>k </it>= 1 <b>to </b>
<it>n </it>
<b>do</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<b>if </b>
<it>t</it>[<it>j</it>][<it>k</it>] &#8800; 0 &amp; <it>t</it>[<it>i</it>][<it>k</it>] &#8800; 0 &amp; <it>t</it>[<it>i</it>][<it>k</it>] = <it>t</it>[<it>i</it>][<it>j</it>]&#215; <it>t</it>[<it>j</it>][<it>k</it>] <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<it>check</it>(<it>t</it>[<it>i</it>][<it>k</it>]);</p>
<p>The checked entries of the matrix <it>t</it>[<it>n</it>][<it>n</it>] represent non-essential edges. The unchecked non-zero entries of the resulted matrix <it>t</it>[<it>n</it>][<it>n</it>] represent essential edges. We created this algorithm by modifying Warshall's algorithm <abbrgrp>
<abbr bid="B21">21</abbr>
</abbrgrp>. The number of complete iterations is bounded by <it>n<sup>3</sup>
</it>.</p>
</sec>
<sec>
<st>
<p>(A3.1) Algorithm for distinguishing uncovered edges from covered edges</p>
</st>
<p>
<b>int </b>
<it>t</it>[<it>n</it>][<it>n</it>]: initially deduced edges</p>
<p>
<b>int </b>
<it>e</it>[<it>n</it>][<it>n</it>]: essential edges</p>
<p>&#160;&#160;<b>void </b>
<it>covered_edge</it>()</p>
<p>&#160;&#160;&#160;&#160;<b>int </b>
<it>i, j, k</it>;</p>
<p>&#160;&#160;&#160;&#160;<b>bool </b>
<it>finished</it>;</p>
<p>&#160;&#160;&#160;&#160;<it>finished </it>: = <it>false</it>;</p>
<p>&#160;&#160;&#160;&#160;<b>while </b>
<it>finished </it>= <it>false </it>
<b>do</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>finished </it>: = <it>true</it>;</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<b>for </b>
<it>i </it>= 1 <b>to </b>
<it>n </it>
<b>do</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<b>for </b>
<it>j </it>= 1 <b>to </b>
<it>n </it>
<b>do</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<b>if </b>
<it>e</it>[<it>i</it>][<it>j</it>] &#8800; 0 <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<b>for </b>
<it>k </it>= 1 <b>to </b>
<it>n </it>
<b>do</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<b>if </b>
<it>e</it>[<it>j</it>][<it>k</it>] &#8800; 0 &amp; <it>t</it>[<it>i</it>][<it>k</it>] &#8800; 0 &amp; <it>t</it>[<it>i</it>][<it>k</it>] = <it>e</it>[<it>i</it>][<it>j</it>] &#215; <it>e</it>[<it>j</it>][<it>k</it>] <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<it>e</it>[<it>i</it>][<it>k</it>]: = <it>t</it>[<it>i</it>][<it>k</it>];</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<it>check</it>(<it>e</it>[<it>i</it>][<it>k</it>]);</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<it>finished </it>: = <it>false</it>;</p>
<p>The checked entries of the matrix <it>e</it>[<it>n</it>][<it>n</it>] represent covered edges. The non-zero entries of the matrix <it>t</it>[<it>n</it>][<it>n</it>] that differ from the non-zero entries of the resulted matrix <it>e</it>[<it>n</it>][<it>n</it>] represent uncovered edges. This algorithm iterates over the while loop to find edges in <it>E<sub>nes </sub>
</it>that can be covered by the essential edges. Thus, the number of iterations is bounded by <inline-formula>
<graphic file="1751-0473-6-12-i94.gif"/>
</inline-formula>.</p>
</sec>
<sec>
<st>
<p>(A3.2) Algorithm for finding uncovered edges in peripheral components</p>
</st>
<p>
<b>int </b>
<it>t</it>[<it>n</it>][<it>n</it>]: initially deduced edges</p>
<p>
<b>int </b>
<it>u</it>[<it>n</it>][<it>n</it>]: uncovered edges</p>
<p>
<b>void </b>
<it>peripheral_uncovered</it>()</p>
<p>&#160;&#160;<b>int </b>
<it>i, j, k</it>;</p>
<p>&#160;&#160;<b>bool </b>
<it>flag, sflag</it>;</p>
<p>&#160;&#160;<it>flag </it>: = <it>false</it>;</p>
<p>&#160;&#160;<b>while </b>
<it>flag </it>= <it>false </it>
<b>do</b>
</p>
<p>&#160;&#160;&#160;&#160;<it>flag </it>: = <it>true</it>;</p>
<p>&#160;&#160;&#160;&#160;<b>for </b>
<it>j </it>= 1 <b>to </b>
<it>n </it>
<b>do</b>
</p>
<p>&#160;&#160;&#160;&#160;<b>for </b>
<it>i </it>= 1 <b>to </b>
<it>n </it>
<b>do</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<b>if </b>
<it>u</it>[<it>i</it>][<it>j</it>] &#8800; 0 <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>sflag </it>: = <it>false</it>;</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<b>for </b>
<it>k </it>= 1 <b>to </b>
<it>n </it>
<b>do</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<b>if </b>
<it>t</it>[<it>j</it>][<it>k</it>] &#8800; 0 &amp; <it>u</it>[<it>i</it>][<it>k</it>] &#8800; 0 &amp; <it>t</it>[<it>i</it>][<it>k</it>] = <it>t</it>[<it>i</it>][<it>j</it>] &#215; <it>t</it>[<it>j</it>][<it>k</it>] <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<it>sflag </it>: = <it>true</it>;</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<b>if </b>
<it>t</it>[<it>k</it>][<it>i</it>] &#8800; 0 &amp; <it>u</it>[<it>k</it>][<it>j</it>] &#8800; 0 &amp; <it>t</it>[<it>k</it>][<it>j</it>] = <it>t</it>[<it>k</it>][<it>i</it>] &#215; <it>t</it>[<it>i</it>][<it>j</it>] <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<it>sflag </it>: = <it>true</it>;</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<b>if </b>
<it>sflag </it>= <it>false </it>
<b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<it>check</it>(<it>u</it>[<it>i</it>][<it>j</it>]);</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<it>flag </it>: = <it>false</it>;</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<it>rm</it>_<it>checked</it>_<it>edge</it>(); // set all checked entries to 0</p>
<p>The entries of the resulted matrix <it>u</it>[<it>n</it>][<it>n</it>] that have been changed from +1 or -1 to 0 represent uncovered edges in peripheral components. The non-zero entries of the resulted matrix <it>u</it>[<it>n</it>][<it>n</it>] represent uncovered edges in main components. This algorithm iterates over the while loop to find edges in <it>E<sub>ucv</sub>
</it>that are to be included in <inline-formula>
<graphic file="1751-0473-6-12-i95.gif"/>
</inline-formula>. Thus, the number of complete iterations is bounded by <inline-formula>
<graphic file="1751-0473-6-12-i96.gif"/>
</inline-formula>.</p>
</sec>
<sec>
<st>
<p>(A4.1) Algorithm for dividing uncovered edges in main components (<inline-formula>
<graphic file="1751-0473-6-12-i97.gif"/>
</inline-formula>) into independent groups</p>
</st>
<p>
<b>int </b>
<it>t</it>[<it>n</it>][<it>n</it>]: initially deduced edges</p>
<p>
<b>int </b>
<it>e</it>[<it>n</it>][<it>n</it>]: uncovered edges in main components</p>
<p>
<b>ig </b>
<it>indgrp </it>: independent group</p>
<p>
<b>list </b>&lt; <it>edge </it>&gt; <it>el </it>: edge list</p>
<p>
<b>list </b>&lt; <it>ig </it>&gt; <it>igl </it>: independent group list</p>
<p>
<b>void </b>
<it>independent_group</it>()</p>
<p>&#160;&#160;<b>int </b>
<it>i, j</it>;</p>
<p>&#160;&#160;<b>for </b>
<it>i </it>= 1 <b>to </b>
<it>n </it>
<b>do</b>
</p>
<p>&#160;&#160;&#160;&#160;<b>for </b>
<it>j </it>= 1 <b>to </b>
<it>n </it>
<b>do</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<b>if </b>
<it>e</it>[<it>i</it>][<it>j</it>] &#8800;0 <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<it>el</it>.<it>clear</it>();</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<it>el</it>.<it>append</it>(<it>e<sub>ij</sub>
</it>);</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<it>append</it>_<it>group</it>(<it>i, j</it>);</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<it>indgrp.init</it>();</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<it>indgrp</it>.<it>set_el</it>(<it>el</it>); &#160;&#160;&#160;&#160;// store edge list <it>el </it>in <it>indgrp</it>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<it>igl</it>.<it>append</it>(<it>indgrp</it>); &#160;&#160;&#160;&#160;// <it>indgrp </it>: an independent group</p>
<p>
<b>void </b>
<it>append_group</it>(<b>int </b>
<it>i</it>, <b>int </b>
<it>j</it>)</p>
<p>&#160;&#160;<b>int </b>
<it>x</it>;</p>
<p>&#160;&#160;<b>for </b>
<it>x </it>= 1 <b>to </b>
<it>n </it>
<b>do</b>
</p>
<p>&#160;&#160;&#160;&#160;<b>if </b>
<it>t</it>[<it>i</it>][<it>x</it>] &#8800;0 &amp; <it>t</it>[<it>x</it>][<it>j</it>] &#8800;0 <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;<b>if </b>
<it>t</it>[<it>i</it>][<it>j</it>] = <it>t</it>[<it>i</it>][<it>x</it>] &#215; <it>t</it>[<it>x</it>][<it>j</it>] <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<b>if </b>
<it>e</it>[<it>i</it>][<it>x</it>] &#8800;0 <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>el</it>.<it>append</it>(<it>e<sub>ix</sub>
</it>);</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>e</it>[<it>i</it>][<it>x</it>]: = 0;</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>append</it>_<it>group</it>(<it>i, x</it>);</p>
<p>&#160;&#160;&#160;&#160;<b>if </b>
<it>e</it>[<it>x</it>][<it>j</it>] &#8800;0 <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>el</it>.<it>append</it>(<it>e<sub>xj</sub>
</it>);</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>e</it>[<it>x</it>][<it>j</it>]: = 0;</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>append</it>_<it>group</it>(<it>x, j</it>);</p>
<p>&#160;&#160;&#160;&#160;<b>if </b>
<it>t</it>[<it>x</it>][<it>i</it>] &#8800;0 &amp; <it>t</it>[<it>x</it>][<it>j</it>] &#8800;0 <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;<b>if </b>
<it>t</it>[<it>x</it>][<it>j</it>] = <it>t</it>[<it>x</it>][<it>i</it>] &#215; <it>t</it>[<it>i</it>][<it>j</it>] <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<b>if </b>
<it>e</it>[<it>x</it>][<it>j</it>] &#8800;0 <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>el</it>.<it>append</it>(<it>e<sub>xj</sub>
</it>);</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>e</it>[<it>x</it>][<it>j</it>]: = 0;</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>append</it>_<it>group</it>(<it>x, j</it>);</p>
<p>&#160;&#160;&#160;&#160;<b>if </b>
<it>t</it>[<it>j</it>][<it>x</it>] &#8800;0 &amp; <it>t</it>[<it>i</it>][<it>x</it>] &#8800;0 <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;<b>if </b>
<it>t</it>[<it>i</it>][<it>x</it>] = <it>t</it>[<it>i</it>][<it>j</it>] &#215; <it>t</it>[<it>j</it>][<it>x</it>] <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<b>if </b>
<it>e</it>[<it>i</it>][<it>x</it>] &#8800;0 <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>el</it>.<it>append</it>(<it>e<sub>ix</sub>
</it>);</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>e</it>[<it>i</it>][<it>x</it>]: = 0;</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>append</it>_<it>group</it>(<it>i, x</it>);</p>
<p>The number of complete iterations of <it>independent</it>_<it>group</it>() is bounded by <it>n</it>
<sup>2</sup>. The number of complete iterations of <it>append</it>_<it>group</it>(<it>int, int</it>) is bounded <inline-formula>
<graphic file="1751-0473-6-12-i98.gif"/>
</inline-formula>. Thus, the number of complete iterations is bounded by <inline-formula>
<graphic file="1751-0473-6-12-i99.gif"/>
</inline-formula>.</p>
</sec>
<sec>
<st>
<p>(A4.2) Algorithm for finding all sets of minimum number of edges to be restored in each independent group</p>
</st>
<p>
<b>int </b>
<it>e</it>[<it>n</it>][<it>n</it>]: essential edges and uncovered edges in peripheral components</p>
<p>
<b>ig </b>
<it>indgrp </it>: independent group</p>
<p>
<b>list </b>&lt; <it>ig </it>&gt; <it>igl </it>: independent group list</p>
<p>
<b>list </b>&lt; <it>edge </it>&gt; <it>el, tmp</it>_<it>el </it>: edge list</p>
<p>
<b>list </b>&lt; <it>edge list </it>&gt; <it>combi_el </it>: combination of edge list</p>
<p>&#160;&#160;<b>void </b>
<it>find_min_ig</it>()</p>
<p>&#160;&#160;&#160;&#160;<b>int </b>
<it>i, num</it>_<it>edge</it>;</p>
<p>&#160;&#160;&#160;&#160;<b>for </b>
<it>i </it>= 1 to <it>igl</it>.<it>size</it>() do</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>combi</it>_<it>el</it>.<it>clear</it>(); <it>el</it>.<it>clear</it>();</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>indgrp </it>&#8592; <it>igl</it>.<it>get</it>_<it>ig</it>(<it>i</it>); &#160;&#160;&#160;&#160;// copy the <it>i</it>th independent group from <it>igl</it>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>el </it>&#8592; <it>indgrp</it>.<it>get</it>_<it>el</it>();</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<b>for </b>
<it>num</it>_<it>edge </it>= 1 <b>to </b>
<it>el</it>.<it>size</it>() <b>do</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>add</it>_<it>edge</it>(<it>num</it>_<it>edge</it>, 1);</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<b>if </b>(<it>combi</it>_<it>el</it>.<it>size</it>() &gt; 0) <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<b>break;</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>set</it>_<it>min</it>_<it>combi</it>_<it>el</it>(<it>i, combi</it>_<it>el</it>); &#160;&#160;&#160;&#160;// store <it>combi</it>_<it>el </it>in the <it>i</it>th independent group</p>
<p>&#160;&#160;<b>void </b>
<it>add</it>_<it>edge</it>(<b>int </b>
<it>num</it>_<it>edge</it>, <b>int </b>
<it>start</it>)</p>
<p>&#160;&#160;&#160;&#160;<b>int </b>
<it>j</it>;</p>
<p>&#160;&#160;&#160;&#160;<b>if </b>
<it>start </it>+ <it>num</it>_<it>edge </it>- 1 &gt; <it>el</it>.<it>size</it>() <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<b>return;</b>
</p>
<p>&#160;&#160;&#160;&#160;<b>for </b>
<it>j </it>= <it>start </it>
<b>to </b>
<it>el</it>.<it>size</it>() <b>do</b>
</p>
<p>&#160;&#160;&#160;&#160;<it>set</it>_<it>edge</it>(<it>j</it>); &#160;&#160;&#160;&#160;// set the entry of <it>e</it>[<it>n</it>][<it>n</it>] corresponding to the <it>j</it>th edge</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;// in <it>el </it>to +1 or -1 according to the sign of the edge</p>
<p>&#160;&#160;&#160;&#160;<it>check</it>(<it>el</it>.<it>get</it>_<it>edge</it>(<it>j</it>)); &#160;&#160;&#160;&#160;// check the <it>j</it>th edge in <it>el</it>
</p>
<p>&#160;&#160;&#160;&#160;<b>if </b>
<it>num</it>_<it>edge </it>&gt; 1 <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;<it>add</it>_<it>edge</it>(<it>num</it>_<it>edge </it>- 1, <it>j </it>+ 1);</p>
<p>
<b>else</b>
</p>
<p>&#160;&#160;&#160;&#160;<b>if </b>(<it>confirm</it>() = <it>true</it>) <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>tmp</it>_<it>el</it>.<it>clear</it>();</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>set</it>_<it>tmp</it>_<it>el</it>(); &#160;&#160;&#160;&#160;// append all checked edges to <it>tmp</it>_<it>el</it>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>combi</it>_<it>el</it>.<it>append</it>(<it>tmp</it>_<it>el</it>); &#160;&#160;&#160;&#160;// <it>tmp</it>_<it>el </it>: a set of the minimum number of</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;// edges to be restored</p>
<p>&#160;&#160;&#160;&#160;<it>reset</it>_<it>edge</it>(<it>j</it>); &#160;&#160;// set the entry of <it>e</it>[<it>n</it>][<it>n</it>] corresponding to the <it>j</it>th edge</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;// in <it>el </it>to 0</p>
<p>&#160;&#160;&#160;&#160;<it>uncheck</it>(<it>el.get_edge</it>(<it>j</it>)); &#160;&#160;&#160;&#160;// uncheck the <it>j</it>th edge in <it>el</it>
</p>
<p>
<b>bool </b>
<it>confirm</it>(): when resulting edges <it>e</it>[<it>n</it>][<it>n</it>] can covered all edges in the group, return <it>true</it>.</p>
<p>The number of complete iterations is bounded by <inline-formula>
<graphic file="1751-0473-6-12-i100.gif"/>
</inline-formula>, where <it>G </it>is the number of independent groups, <it>R<sub>j </sub>
</it>is the number of edges in the <it>j</it>th independent group, <it>n<sub>j </sub>
</it>is the number of genes in the <it>j</it>th independent group, and <it>m<sub>j </sub>
</it>is the number of edges to be restored in the <it>j</it>th independent group.</p>
</sec>
<sec>
<st>
<p>(A5) Algorithm for deducing all MEGNs by making all possible combinations of sets of the minimum number of edges for each independent group</p>
</st>
<p>
<b>int </b>
<it>e</it>[<it>n</it>][<it>n</it>]: essential edges</p>
<p>
<b>int </b>
<it>megn </it>: the number of MEGNs</p>
<p>
<b>list </b>&lt; <it>ig </it>&gt; <it>igl </it>: independent group list</p>
<p>
<b>list </b>&lt; <it>edge list </it>&gt; <it>tmp</it>_<it>combi</it>_<it>el </it>: combination of edge list</p>
<p>
<b>list </b>&lt; <it>edge </it>&gt; <it>tmp</it>_<it>el </it>: edge list</p>
<p>
<b>void </b>
<it>megn</it>()</p>
<p>&#160;&#160;&#160;&#160;<b>int </b>
<it>i</it>;</p>
<p>&#160;&#160;&#160;&#160;<it>i </it>: = 1; <it>megn </it>: = 0;</p>
<p>&#160;&#160;&#160;&#160;<it>sub</it>_<it>megn</it>(<it>i</it>);</p>
<p>&#160;&#160;&#160;&#160;<b>if </b>
<it>megn </it>= 0 <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>e</it>[<it>n</it>][<it>n</it>]: MEGN &#160;&#160;&#160;&#160;// <it>e</it>[<it>n</it>][<it>n</it>] represents the MEGN when <inline-formula>
<graphic file="1751-0473-6-12-i101.gif"/>
</inline-formula>
</p>
<p>
<b>void </b>
<it>sub</it>_<it>megn</it>(<b>int </b>
<it>i</it>)</p>
<p>&#160;&#160;&#160;&#160;<b>int </b>
<it>x, y, count</it>;</p>
<p>&#160;&#160;&#160;&#160;<b>if </b>
<it>i </it>&gt; <it>igl</it>.<it>size</it>() <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<b>return;</b>
</p>
<p>
<it>tmp</it>_<it>combi</it>_<it>el </it>&#8592; <it>get</it>_<it>min_combi</it>_<it>el</it>(<it>i</it>); &#160;&#160;&#160;&#160;// copy <it>combi_el </it>of the <it>i</it>th independent</p>
<p>// group</p>
<p>
<b>for </b>
<it>y </it>= 1 <b>to </b>
<it>tmp</it>_<it>combi</it>_<it>el</it>.<it>size</it>() <b>do</b>
</p>
<p>&#160;&#160;&#160;&#160;<it>tmp</it>_<it>el </it>&#8592; <it>tmp</it>_<it>combi</it>_<it>el</it>.<it>get</it>_<it>el</it>(<it>y</it>); &#160;&#160;&#160;&#160;// copy the <it>y</it>th edge list of <it>tmp</it>_<it>combi</it>_<it>el</it>
</p>
<p>&#160;&#160;&#160;&#160;<it>set</it>_<it>edges</it>(<it>tmp</it>_<it>el</it>); &#160;&#160;&#160;&#160;// set the entries of <it>e</it>[<it>n</it>][<it>n</it>] corresponding to the edges in</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;// <it>tmp</it>_<it>el </it>to +1 or -1 according to the signs of the edges</p>
<p>&#160;&#160;&#160;&#160;<b>if </b>
<it>i </it>= <it>igl</it>.<it>size</it>() <b>then</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>megn</it>++;</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>e</it>[<it>n</it>][<it>n</it>]: MEGN &#160;&#160;&#160;&#160;// <it>e</it>[<it>n</it>][<it>n</it>] represents a MEGN when <inline-formula>
<graphic file="1751-0473-6-12-i102.gif"/>
</inline-formula>
</p>
<p>&#160;&#160;&#160;&#160;<b>else</b>
</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;<it>sub</it>_<it>megn</it>(<it>i </it>+ 1)</p>
<p>&#160;&#160;&#160;&#160;<it>reset</it>_<it>edges</it>(<it>tmp</it>_<it>el</it>); &#160;&#160;&#160;&#160;// set the entries of <it>e</it>[<it>n</it>][<it>n</it>] corresponding to the edges in</p>
<p>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;// <it>tmp</it>_<it>el </it>to 0</p>
<p>The number of complete iterations is bounded by <inline-formula>
<graphic file="1751-0473-6-12-i103.gif"/>
</inline-formula>, where <it>S<sub>j </sub>
</it>is the number of sets of minimum number of edges to be restored for the <it>j</it>th independent group.</p>
</sec>
</sec>
</sec>
<sec>
<st>
<p>Discussion</p>
</st>
<p>We have described in detail the algorithm of the DBRF-MEGN method and have proved that the algorithm provides all of the exact solutions of the most parsimonious gene networks consistent with expression profiles of gene deletion mutants. The resulting gene networks, called MEGNs, are the most parsimonious SDGs consistent with an SDG that consists of the initially deduced edges. In graph theory, many algorithms have been developed for deducing the most parsimonious unsigned directed graphs consistent with a given unsigned directed graph; these graphs are called minimum equivalent graphs (MEGs) <abbrgrp>
<abbr bid="B22">22</abbr>
<abbr bid="B23">23</abbr>
<abbr bid="B24">24</abbr>
<abbr bid="B25">25</abbr>
</abbrgrp>. MEGN is not just an "SDG version" of MEG, as is explained below. Although both MEGN and MEG are the most parsimonious graphs of a given graph, the parsimoniousness of the graph is defined differently between these graphs. MEGN consists of the minimum number of edges that <it>cover </it>all edges of a given graph (initially deduced edges), whereas MEG consists of the minimum number of edges that <it>retain the reachability </it>of a given graph <abbrgrp>
<abbr bid="B22">22</abbr>
</abbrgrp>. MEGNs use the cover instead of the reachability because a MEGN is a prediction of a gene network consisting only of direct gene regulations <abbrgrp>
<abbr bid="B14">14</abbr>
</abbrgrp>. When positive regulations from gene <it>A </it>to gene <it>B</it>, from gene <it>B </it>to gene <it>C</it>, from gene <it>C </it>to gene <it>D</it>, and from gene <it>A </it>to gene <it>D </it>are detected and regulation from gene <it>A </it>to gene <it>C </it>is not detected, the regulation from gene <it>A </it>to gene <it>D </it>is likely to be a direct regulation instead of an indirect regulation as a result of the other three regulations (Figure <figr fid="F3">3a</figr>). The use of cover makes MEGNs include edges representing such likely direct regulations (Figure <figr fid="F3">3a</figr>). In contrast, the MEGs, using reachability, do not include those edges (Figure <figr fid="F3">3b</figr>). Therefore, the DBRF-MEGN method, which deduces MEGNs, is fundamentally different from algorithms that deduce MEGs or algorithms for transitive reduction of SDG <abbrgrp>
<abbr bid="B16">16</abbr>
<abbr bid="B17">17</abbr>
<abbr bid="B18">18</abbr>
</abbrgrp>.</p>
<p>The selection of uncovered edges in main components (the third process) and the generation of independent groups (the fourth process) make the DBRF-MEGN method applicable to large-scale gene expression profiles. Without these processes, the computational cost for finding all sets of non-essential edges to be included in the MEGNs is <inline-formula>
<graphic file="1751-0473-6-12-i104.gif"/>
</inline-formula> where <it>n </it>is the number of genes and <it>m </it>is the number of non-essential edges to be included in a MEGN. This computation is impractical for large-scale gene expression profiles because <inline-formula>
<graphic file="1751-0473-6-12-i105.gif"/>
</inline-formula> increases rapidly as <inline-formula>
<graphic file="1751-0473-6-12-i106.gif"/>
</inline-formula> or <it>m </it>increase. The selection of uncovered edges in main components reduces the computational cost to <inline-formula>
<graphic file="1751-0473-6-12-i107.gif"/>
</inline-formula> and the generation of independent groups further reduces it to <inline-formula>
<graphic file="1751-0473-6-12-i108.gif"/>
</inline-formula>, where <it>t </it>is the number of independent groups, <it>n<sub>j </sub>
</it>is the number of genes in the <it>j</it>th independent group, and <it>m<sub>j </sub>
</it>is the number of edges in the <it>j</it>th independent group to be included in a MEGN. <inline-formula>
<graphic file="1751-0473-6-12-i109.gif"/>
</inline-formula> and <it>m<sub>j </sub>
</it>are usually far smaller than <inline-formula>
<graphic file="1751-0473-6-12-i106.gif"/>
</inline-formula> and <it>m</it>. Because of these reductions of the computational cost, the DBRF-MEGN method successfully deduced MEGNs from sets of large-scale gene expression profiles <abbrgrp>
<abbr bid="B14">14</abbr>
</abbrgrp> [see Additional file <supplr sid="S2">2</supplr>, Table S1; Additional file <supplr sid="S3">3</supplr>]. Although there is no guarantee that the method will deduce MEGNs from any given expression profiles in an acceptable time, the method would most probably deduce MEGNs from most sets of expression profiles in an acceptable time.</p>
<suppl id="S2">
<title>
<p>Additional file 2</p>
</title>
<text>
<p>
<b>Supporting text for the applicability of the DBRF-MEGN method to the large-scale expression profiles and the sensitivity of the DBRF-MEGN method to the noise of the expression profiles</b>.</p>
</text>
<file name="1751-0473-6-12-S2.DOC">
   <p>Click here for file</p>
</file>
</suppl>
<suppl id="S3">
<title>
<p>Additional file 3</p>
</title>
<text>
<p>
<b>The MEGNs deduced from large-scale gene expression profiles</b>.</p>
</text>
<file name="1751-0473-6-12-S3.XLS">
   <p>Click here for file</p>
</file>
</suppl>
<p>Because MEGNs are deduced from initially deduced edges, the accuracy of MEGNs depends on that of initially deduced edges. The primary source for the inaccuracy in initially deduced edges is the noise of the expression profiles. Importantly, the number of false-positive edges in MEGN depends more on that of falsely-detected edges than that of falsely-missed edges in initially deduced edges; the number of false-negative edges in MEGN depends more on that of falsely-missed edges than that of falsely-detected edges in initially deduced edges [see Additional file <supplr sid="S2">2</supplr>, Table S2; Additional file <supplr sid="S2">2</supplr>, Figure S1]. These dependencies suggest the following guideline for the thresholds &#945; and &#946; (Definition 2): when the number of false-positive edges is more important than that of false-negative edges in MEGN, &#945; (&#946;) should be a little higher (lower) than the optimal value; in contrast, when the number of false-negative edges is more important than that of false-positive edges in MEGN, &#945; (&#946;) should be a little lower (higher) than the optimal value.</p>
<p>The DBRF-MEGN method is applicable not only to gene expression profiles of deletion mutants but also to those of gene overexpressions and conditional knock-downs/knock-outs <abbrgrp>
<abbr bid="B26">26</abbr>
<abbr bid="B27">27</abbr>
<abbr bid="B28">28</abbr>
</abbrgrp>. We cannot obtain gene expression profiles of deletion mutants for essential genes. Thus, the method cannot deduce gene networks including essential genes when we use gene expression profiles of deletion mutants. A possible solution for this problem is to use the expression profiles of gene overexpressions or conditional knock-downs/knock-outs. Applications of the DBRF-MEGN method to those profiles will deduce gene regulations that cannot be deduced from gene expression profiles of gene deletion mutants.</p>
<p>A limitation of the DBRF-MEGN method is its inability to deduce (1) self-regulation of genes, and (2) combinatorial gene regulations such as regulation in which the expression of gene <it>A </it>is down-regulated only when both gene <it>B </it>and gene <it>C </it>are inactive. Self-regulation could be deduced by using chromatin immunoprecipitation <abbrgrp>
<abbr bid="B29">29</abbr>
</abbrgrp>. Combinatorial gene regulations could be deduced by using the expression profiles of multiple gene deletion mutants <abbrgrp>
<abbr bid="B30">30</abbr>
</abbrgrp>. Synthetic genetic arrays can systematically construct a collection of double-gene deletion mutants <abbrgrp>
<abbr bid="B31">31</abbr>
</abbrgrp>. A combination of the DBRF-MEGN method and the above techniques would provide more accurate information about gene networks.</p>
<p>When the DBRF-MEGN method is applied to gene expression profiles measured by using DNA microarray, each of the deduced edges represents regulation of one gene's mRNA level by another gene's activity. Therefore, the deduced MEGNs do not include edges that represent post-transcriptional gene regulations although they play major roles in the cell. However, because the algorithm of the DBRF-MEGN method is based on logic that is most commonly used in genetics and cell biology to infer gene networks from small-scale experiments, we can predict post-transcriptional modulators of transcriptional activity from those MEGNs. We predicted total 72 transcriptional regulators and 232 post-transcriptional modulators of 18 transcriptional regulators from the MEGNs deduced from a set of gene expression profiles for 265 <it>Saccharomyces cerevisiae </it>genes <abbrgrp>
<abbr bid="B14">14</abbr>
</abbrgrp>. The DBRF-MEGN method is applicable not only to gene expression profiles measured by using DNA microarray but also to those measured by using other technologies such as 2D-PAGE-MS <abbrgrp>
<abbr bid="B32">32</abbr>
</abbrgrp> and protein chips <abbrgrp>
<abbr bid="B33">33</abbr>
</abbrgrp>. MEGNs deduced from those non-DNA microarray expression profiles will include edges that represent post-transcriptional gene regulations in the cell.</p>
</sec>
<sec>
<st>
<p>Conclusions</p>
</st>
<p>We described in detail the processes of the DBRF-MEGN method and proved that these processes provide all of the exact solutions of the most parsimonious gene networks consistent with the expression profiles of gene deletion mutants, which are called MEGNs. The DBRF-MEGN method provides invaluable information for understanding cellular functions.</p>
</sec>
<sec>
<st>
<p>Availability and requirements</p>
</st>
<p>Project name: DBRF-MEGN</p>
<p>Project home page: <url>http://so.gsc.riken.jp/dbrf-megn</url>
</p>
<p>Operating system: Linux</p>
<p>Programming language: C++</p>
<p>Other requirements: None</p>
<p>Licence: GNU LGPL</p>
<p>Any restrictions to use by non-academics: Licence required</p>
</sec>
<sec>
<st>
<p>List of abbreviations</p>
</st>
<p>DBRF: difference-based regulation finding; MEGN: minimum equivalent gene network; SDG: signed directed graph; MEG: minimum equivalent graph.</p>
</sec>
<sec>
<st>
<p>Competing interests</p>
</st>
<p>The authors declare that they have no competing interests.</p>
</sec>
<sec>
<st>
<p>Authors' contributions</p>
</st>
<p>KK participated in this study's conception, designed the algorithm, proved the algorithm, and drafted the manuscript. KB implemented the algorithm. HK participated in algorithm design. SO conceived this study, designed the algorithm, proved the algorithm, and drafted the manuscript. All authors read and approved the final manuscript.</p>
</sec>
</bdy><bm>
<ack>
<sec>
<st>
<p>Acknowledgements</p>
</st>
<p>We thank the anonymous reviewer for his/her thorough review and constructive suggestions, which significantly contributed to improving the readability of definitions and lemmas. We thank K. Oka for his support and useful discussions. We also thank S. Hamahashi and A. Kimura for critical comments on this manuscript. This work was supported in part by a grant from the Ministry of Agriculture, Forestry and Fisheries of Japan (Rice Genome Project SY1106) to HK and SO; by Special Coordination Funds for Promoting Science and Technology (to HK and SO), and by a Grant-in-Aid for Scientific Research on Priority Areas "Systems Genomics" (to KK and SO) from the Ministry of Education, Culture, Sports, Science and Technology of Japan; and by a grant from the Institute for Bioinformatics Research and Development (BIRD), Japan Science and Technology Agency to SO.</p>
</sec>
</ack>
<refgrp><bibl id="B1"><title><p>High-throughput isolation of <it>Caenorhabditis elegans </it>deletion mutants</p></title><aug><au><snm>Liu</snm><fnm>LX</fnm></au><au><snm>Spoerke</snm><fnm>JM</fnm></au><au><snm>Mulligan</snm><fnm>EL</fnm></au><au><snm>Chen</snm><fnm>J</fnm></au><au><snm>Reardon</snm><fnm>B</fnm></au><au><snm>Westlund</snm><fnm>B</fnm></au><au><snm>Sun</snm><fnm>L</fnm></au><au><snm>Abel</snm><fnm>K</fnm></au><au><snm>Armstrong</snm><fnm>B</fnm></au><au><snm>Hardiman</snm><fnm>G</fnm></au><au><snm>King</snm><fnm>J</fnm></au><au><snm>McCague</snm><fnm>L</fnm></au><au><snm>Basson</snm><fnm>M</fnm></au><au><snm>Clover</snm><fnm>R</fnm></au><au><snm>Johnson</snm><fnm>CD</fnm></au></aug><source>Genome Res</source><pubdate>1999</pubdate><volume>9</volume><fpage>859</fpage><lpage>867</lpage><xrefbib><pubidlist><pubid idtype="doi">10.1101/gr.9.9.859</pubid><pubid idtype="pmcid">310813</pubid><pubid idtype="pmpid" link="fulltext">10508845</pubid></pubidlist></xrefbib></bibl><bibl id="B2"><title><p>Functional characterization of the <it>S. cerevisiae </it>genome by gene deletion and parallel analysis</p></title><aug><au><snm>Winzeler</snm><fnm>EA</fnm></au><au><snm>Shoemaker</snm><fnm>DD</fnm></au><au><snm>Astromoff</snm><fnm>A</fnm></au><au><snm>Liang</snm><fnm>H</fnm></au><au><snm>Anderson</snm><fnm>K</fnm></au><au><snm>Andre</snm><fnm>B</fnm></au><au><snm>Bangham</snm><fnm>R</fnm></au><au><snm>Benito</snm><fnm>R</fnm></au><au><snm>Boeke</snm><fnm>JD</fnm></au><au><snm>Bussey</snm><fnm>H</fnm></au><au><snm>Chu</snm><fnm>AM</fnm></au><au><snm>Connelly</snm><fnm>C</fnm></au><au><snm>Davis</snm><fnm>K</fnm></au><au><snm>Dietrich</snm><fnm>F</fnm></au><au><snm>Dow</snm><fnm>SW</fnm></au><au><snm>Bakkoury</snm><fnm>ME</fnm></au><au><snm>Foury</snm><fnm>F</fnm></au><au><snm>Friend</snm><fnm>SH</fnm></au><au><snm>Gentalen</snm><fnm>E</fnm></au><au><snm>Giaever</snm><fnm>G</fnm></au><au><snm>Hegemann</snm><fnm>JH</fnm></au><au><snm>Jones</snm><fnm>T</fnm></au><au><snm>Laub</snm><fnm>M</fnm></au><au><snm>Liao</snm><fnm>H</fnm></au><au><snm>Liebundguth</snm><fnm>N</fnm></au><au><snm>Lockhart</snm><fnm>DJ</fnm></au><au><snm>Lucau-Danila</snm><fnm>A</fnm></au><au><snm>Lussier</snm><fnm>M</fnm></au><au><snm>M&apos;Rabet</snm><fnm>N</fnm></au><au><snm>Menard</snm><fnm>P</fnm></au><au><snm>Mittmann</snm><fnm>M</fnm></au><au><snm>Pai</snm><fnm>C</fnm></au><au><snm>Rebischung</snm><fnm>C</fnm></au><au><snm>Revuelta</snm><fnm>JL</fnm></au><au><snm>Riles</snm><fnm>L</fnm></au><au><snm>Roberts</snm><fnm>CJ</fnm></au><au><snm>Ross-MacDonald</snm><fnm>P</fnm></au><au><snm>Scherens</snm><fnm>B</fnm></au><au><snm>Snyder</snm><fnm>M</fnm></au><au><snm>Sookhai-Mahadeo</snm><fnm>S</fnm></au><au><snm>Storms</snm><fnm>RK</fnm></au><au><snm>V&#233;ronneau</snm><fnm>S</fnm></au><au><snm>Voet</snm><fnm>M</fnm></au><au><snm>Volckaert</snm><fnm>G</fnm></au><au><snm>Ward</snm><fnm>TR</fnm></au><au><snm>Wysocki</snm><fnm>R</fnm></au><au><snm>Yen</snm><fnm>GS</fnm></au><au><snm>Yu</snm><fnm>K</fnm></au><au><snm>Zimmermann</snm><fnm>K</fnm></au><au><snm>Philippsen</snm><fnm>P</fnm></au><au><snm>Johnston</snm><fnm>M</fnm></au><au><snm>Davis</snm><fnm>RW</fnm></au></aug><source>Science</source><pubdate>1999</pubdate><volume>285</volume><fpage>901</fpage><lpage>906</lpage><xrefbib><pubidlist><pubid idtype="doi">10.1126/science.285.5429.901</pubid><pubid idtype="pmpid" link="fulltext">10436161</pubid></pubidlist></xrefbib></bibl><bibl id="B3"><title><p>Gene discovery and gene function assignment in filamentous fungi</p></title><aug><au><snm>Hamer</snm><fnm>L</fnm></au><au><snm>Adachi</snm><fnm>K</fnm></au><au><snm>Montenegro-Chamorro</snm><fnm>MV</fnm></au><au><snm>Tanzer</snm><fnm>MM</fnm></au><au><snm>Mahanty</snm><fnm>SK</fnm></au><au><snm>Lo</snm><fnm>C</fnm></au><au><snm>Tarpey</snm><fnm>RW</fnm></au><au><snm>Skalchunes</snm><fnm>AR</fnm></au><au><snm>Heiniger</snm><fnm>RW</fnm></au><au><snm>Frank</snm><fnm>SA</fnm></au><au><snm>Darveaux</snm><fnm>BA</fnm></au><au><snm>Lampe</snm><fnm>DJ</fnm></au><au><snm>Slater</snm><fnm>TM</fnm></au><au><snm>Ramamurthy</snm><fnm>L</fnm></au><au><snm>DeZwaan</snm><fnm>TM</fnm></au><au><snm>Nelson</snm><fnm>GH</fnm></au><au><snm>Shuster</snm><fnm>JR</fnm></au><au><snm>Woessner</snm><fnm>J</fnm></au><au><snm>Hamer</snm><fnm>JE</fnm></au></aug><source>Proc Natl Acad Sci</source><pubdate>2001</pubdate><volume>98</volume><fpage>5110</fpage><lpage>5115</lpage><xrefbib><pubidlist><pubid idtype="doi">10.1073/pnas.091094198</pubid><pubid idtype="pmcid">33172</pubid><pubid idtype="pmpid" link="fulltext">11296265</pubid></pubidlist></xrefbib></bibl><bibl id="B4"><title><p>Functional profiling of the <it>Saccharomyces cerevisiae </it>genome</p></title><aug><au><snm>Giaever</snm><fnm>G</fnm></au><au><snm>Chu</snm><fnm>AM</fnm></au><au><snm>Connelly</snm><fnm>C</fnm></au><au><snm>Riles</snm><fnm>L</fnm></au><au><snm>V&#233;ronneau</snm><fnm>S</fnm></au><au><snm>Dow</snm><fnm>S</fnm></au><au><snm>Lucau-Danila</snm><fnm>A</fnm></au><au><snm>Anderson</snm><fnm>K</fnm></au><au><snm>Andr&#233;</snm><fnm>B</fnm></au><au><snm>Arkin</snm><fnm>AP</fnm></au><au><snm>Astromoff</snm><fnm>A</fnm></au><au><snm>Bakkoury</snm><fnm>ME</fnm></au><au><snm>Bangham</snm><fnm>R</fnm></au><au><snm>Benito</snm><fnm>R</fnm></au><au><snm>Brachat</snm><fnm>S</fnm></au><au><snm>Campanaro</snm><fnm>S</fnm></au><au><snm>Curtiss</snm><fnm>M</fnm></au><au><snm>Davis</snm><fnm>K</fnm></au><au><snm>Deutschbauer</snm><fnm>A</fnm></au><au><snm>Entian</snm><fnm>KD</fnm></au><au><snm>Flaherty</snm><fnm>P</fnm></au><au><snm>Foury</snm><fnm>F</fnm></au><au><snm>Garfinkel</snm><fnm>DJ</fnm></au><au><snm>Gerstein</snm><fnm>M</fnm></au><au><snm>Gotte</snm><fnm>D</fnm></au><au><snm>G&#252;ldener</snm><fnm>U</fnm></au><au><snm>Hegemann</snm><fnm>JH</fnm></au><au><snm>Hempel</snm><fnm>S</fnm></au><au><snm>Herman</snm><fnm>Z</fnm></au><au><snm>Jaramillo</snm><fnm>DF</fnm></au><au><snm>Kelly</snm><fnm>DE</fnm></au><au><snm>Kelly</snm><fnm>SL</fnm></au><au><snm>K&#246;tter</snm><fnm>P</fnm></au><au><snm>LaBonte</snm><fnm>D</fnm></au><au><snm>Lamb</snm><fnm>DC</fnm></au><au><snm>Lan</snm><fnm>N</fnm></au><au><snm>Liang</snm><fnm>H</fnm></au><au><snm>Liao</snm><fnm>H</fnm></au><au><snm>Liu</snm><fnm>L</fnm></au><au><snm>Luo</snm><fnm>C</fnm></au><au><snm>Lussier</snm><fnm>M</fnm></au><au><snm>Mao</snm><fnm>R</fnm></au><au><snm>Menard</snm><fnm>P</fnm></au><au><snm>Ooi</snm><fnm>SL</fnm></au><au><snm>Revuelta</snm><fnm>JL</fnm></au><au><snm>Roberts</snm><fnm>CJ</fnm></au><au><snm>Rose</snm><fnm>M</fnm></au><au><snm>Ross-Macdonald</snm><fnm>P</fnm></au><au><snm>Scherens</snm><fnm>B</fnm></au><au><snm>Schimmack</snm><fnm>G</fnm></au><au><snm>Shafer</snm><fnm>B</fnm></au><au><snm>Shoemaker</snm><fnm>DD</fnm></au><au><snm>Sookhai-Mahadeo</snm><fnm>S</fnm></au><au><snm>Storms</snm><fnm>RK</fnm></au><au><snm>Strathern</snm><fnm>JN</fnm></au><au><snm>Valle</snm><fnm>G</fnm></au><au><snm>Voet</snm><fnm>M</fnm></au><au><snm>Volckaert</snm><fnm>G</fnm></au><au><snm>Wang</snm><fnm>CY</fnm></au><au><snm>Ward</snm><fnm>TR</fnm></au><au><snm>Wilhelmy</snm><fnm>J</fnm></au><au><snm>Winzeler</snm><fnm>EA</fnm></au><au><snm>Yang</snm><fnm>Y</fnm></au><au><snm>Yen</snm><fnm>G</fnm></au><au><snm>Youngman</snm><fnm>B</fnm></au><au><snm>Yu</snm><fnm>K</fnm></au><au><snm>Bussey</snm><fnm>H</fnm></au><au><snm>Boeke</snm><fnm>JD</fnm></au><au><snm>Snyder</snm><fnm>M</fnm></au><au><snm>Philippsen</snm><fnm>P</fnm></au><au><snm>Davis</snm><fnm>RW</fnm></au><au><snm>Johnston</snm><fnm>M</fnm></au></aug><source>Nature</source><pubdate>2002</pubdate><volume>418</volume><fpage>387</fpage><lpage>391</lpage><xrefbib><pubidlist><pubid idtype="doi">10.1038/nature00935</pubid><pubid idtype="pmpid" link="fulltext">12140549</pubid></pubidlist></xrefbib></bibl><bibl id="B5"><title><p>Quantitative monitoring of gene expression patterns with a complementary DNA microarray</p></title><aug><au><snm>Schena</snm><fnm>M</fnm></au><au><snm>Shalon</snm><fnm>D</fnm></au><au><snm>Davis</snm><fnm>RW</fnm></au><au><snm>Brown</snm><fnm>PO</fnm></au></aug><source>Science</source><pubdate>1995</pubdate><volume>270</volume><fpage>467</fpage><lpage>470</lpage><xrefbib><pubidlist><pubid idtype="doi">10.1126/science.270.5235.467</pubid><pubid idtype="pmpid" link="fulltext">7569999</pubid></pubidlist></xrefbib></bibl><bibl id="B6"><title><p>Expression monitoring by hybridization to high-density oligonucleotide arrays</p></title><aug><au><snm>Lockhart</snm><fnm>DJ</fnm></au><au><snm>Dong</snm><fnm>H</fnm></au><au><snm>Byrne</snm><fnm>MC</fnm></au><au><snm>Follettie</snm><fnm>MT</fnm></au><au><snm>Gallo</snm><fnm>MV</fnm></au><au><snm>Chee</snm><fnm>MS</fnm></au><au><snm>Mittmann</snm><fnm>M</fnm></au><au><snm>Wang</snm><fnm>C</fnm></au><au><snm>Kobayashi</snm><fnm>M</fnm></au><au><snm>Horton</snm><fnm>H</fnm></au><au><snm>Brown</snm><fnm>EL</fnm></au></aug><source>Nat Biotechnol</source><pubdate>1996</pubdate><volume>14</volume><fpage>1675</fpage><lpage>1680</lpage><xrefbib><pubidlist><pubid idtype="doi">10.1038/nbt1296-1675</pubid><pubid idtype="pmpid" link="fulltext">9634850</pubid></pubidlist></xrefbib></bibl><bibl id="B7"><title><p>Functional discovery via a compendium of expression profiles</p></title><aug><au><snm>Hughes</snm><fnm>TR</fnm></au><au><snm>Marton</snm><fnm>MJ</fnm></au><au><snm>Jones</snm><fnm>AR</fnm></au><au><snm>Roberts</snm><fnm>CJ</fnm></au><au><snm>Stoughton</snm><fnm>R</fnm></au><au><snm>Armour</snm><fnm>CD</fnm></au><au><snm>Bennett</snm><fnm>HA</fnm></au><au><snm>Coffey</snm><fnm>E</fnm></au><au><snm>Dai</snm><fnm>H</fnm></au><au><snm>He</snm><fnm>YD</fnm></au><au><snm>Kidd</snm><fnm>MJ</fnm></au><au><snm>King</snm><fnm>AM</fnm></au><au><snm>Meyer</snm><fnm>MR</fnm></au><au><snm>Slade</snm><fnm>D</fnm></au><au><snm>Lum</snm><fnm>PY</fnm></au><au><snm>Stepaniants</snm><fnm>SB</fnm></au><au><snm>Shoemaker</snm><fnm>DD</fnm></au><au><snm>Gachotte</snm><fnm>D</fnm></au><au><snm>Chakraburtty</snm><fnm>K</fnm></au><au><snm>Simon</snm><fnm>J</fnm></au><au><snm>Bard</snm><fnm>M</fnm></au><au><snm>Friend</snm><fnm>SH</fnm></au></aug><source>Cell</source><pubdate>2000</pubdate><volume>102</volume><fpage>109</fpage><lpage>126</lpage><xrefbib><pubidlist><pubid idtype="doi">10.1016/S0092-8674(00)00015-5</pubid><pubid idtype="pmpid" link="fulltext">10929718</pubid></pubidlist></xrefbib></bibl><bibl id="B8"><title><p>Genetic reconstruction of a functional transcriptional regulatory network</p></title><aug><au><snm>Hu</snm><fnm>Z</fnm></au><au><snm>Killion</snm><fnm>PJ</fnm></au><au><snm>Iyer</snm><fnm>VR</fnm></au></aug><source>Nat Genet</source><pubdate>2007</pubdate><volume>39</volume><fpage>683</fpage><lpage>687</lpage><xrefbib><pubidlist><pubid idtype="doi">10.1038/ng2012</pubid><pubid idtype="pmpid" link="fulltext">17417638</pubid></pubidlist></xrefbib></bibl><bibl id="B9"><title><p>Discovery of regulatory interactions through perturbation: inference and experimental design</p></title><aug><au><snm>Ideker</snm><fnm>TE</fnm></au><au><snm>Thorsson</snm><fnm>V</fnm></au><au><snm>Karp</snm><fnm>RM</fnm></au></aug><source>Pac Symp Biocomput</source><pubdate>2000</pubdate><volume>5</volume><fpage>305</fpage><lpage>316</lpage></bibl><bibl id="B10"><title><p>A gene network inference method from continuous-value gene expression data of wild-type and mutants</p></title><aug><au><snm>Kyoda</snm><fnm>KM</fnm></au><au><snm>Morohashi</snm><fnm>M</fnm></au><au><snm>Onami</snm><fnm>S</fnm></au><au><snm>Kitano</snm><fnm>H</fnm></au></aug><source>Genome Inform Ser Workshop Genome Inform</source><pubdate>2000</pubdate><volume>11</volume><fpage>196</fpage><lpage>204</lpage><xrefbib><pubid idtype="pmpid" link="fulltext">11700600</pubid></xrefbib></bibl><bibl id="B11"><title><p>Inferring subnetworks from perturbed expression profiles</p></title><aug><au><snm>Pe&apos;er</snm><fnm>D</fnm></au><au><snm>Regev</snm><fnm>A</fnm></au><au><snm>Elidan</snm><fnm>G</fnm></au><au><snm>Friedman</snm><fnm>N</fnm></au></aug><source>Bioinformatics</source><pubdate>2001</pubdate><volume>Suppl 17</volume><fpage>S215</fpage><lpage>S224</lpage></bibl><bibl id="B12"><title><p>How to reconstruct a large genetic network from <it>n </it>gene perturbations in fewer than <it>n</it><sup>2 </sup>easy steps</p></title><aug><au><snm>Wagner</snm><fnm>A</fnm></au></aug><source>Bioinformatics</source><pubdate>2001</pubdate><volume>17</volume><fpage>1183</fpage><lpage>1197</lpage><xrefbib><pubidlist><pubid idtype="doi">10.1093/bioinformatics/17.12.1183</pubid><pubid idtype="pmpid" link="fulltext">11751227</pubid></pubidlist></xrefbib></bibl><bibl id="B13"><title><p>Building and analysing genome-wide gene disruption networks</p></title><aug><au><snm>Rung</snm><fnm>J</fnm></au><au><snm>Schlitt</snm><fnm>T</fnm></au><au><snm>Brazma</snm><fnm>A</fnm></au><au><snm>Freivalds</snm><fnm>K</fnm></au><au><snm>Vilo</snm><fnm>J</fnm></au></aug><source>Bioinformatics</source><pubdate>2002</pubdate><volume>Suppl 18</volume><fpage>S202</fpage><lpage>S210</lpage></bibl><bibl id="B14"><title><p>DBRF-MEGN method: an algorithm for deducing minimum equivalent gene networks from large-scale gene expression profiles of gene deletion mutants</p></title><aug><au><snm>Kyoda</snm><fnm>K</fnm></au><au><snm>Baba</snm><fnm>K</fnm></au><au><snm>Onami</snm><fnm>S</fnm></au><au><snm>Kitano</snm><fnm>H</fnm></au></aug><source>Bioinformatics</source><pubdate>2004</pubdate><volume>20</volume><fpage>2665</fpage><lpage>2675</lpage></bibl><bibl id="B15"><title><p>The Inferelator: an algorithm for learning parsimonious regulatory networks from systems-biology data sets <it>de novo</it></p></title><aug><au><snm>Bonneau</snm><fnm>R</fnm></au><au><snm>Reiss</snm><fnm>D</fnm></au><au><snm>Shannon</snm><fnm>P</fnm></au><au><snm>Facciotti</snm><fnm>M</fnm></au><au><snm>Hood</snm><fnm>L</fnm></au><au><snm>Baliga</snm><fnm>NS</fnm></au><au><snm>Thorsson</snm><fnm>V</fnm></au></aug><source>Genome Biol</source><pubdate>2006</pubdate><volume>7</volume><fpage>R36</fpage><xrefbib><pubidlist><pubid idtype="doi">10.1186/gb-2006-7-5-r36</pubid><pubid idtype="pmcid">1779511</pubid><pubid idtype="pmpid" link="fulltext">16686963</pubid></pubidlist></xrefbib></bibl><bibl id="B16"><title><p>A novel method for signal transduction network inference from indirect experimental evidence</p></title><aug><au><snm>Albert</snm><fnm>R</fnm></au><au><snm>DasGupta</snm><fnm>B</fnm></au><au><snm>Dondi</snm><fnm>R</fnm></au><au><snm>Kachalo</snm><fnm>S</fnm></au><au><snm>Sontag</snm><fnm>E</fnm></au><au><snm>Zelikovsky</snm><fnm>A</fnm></au><au><snm>Westbrooks</snm><fnm>K</fnm></au></aug><source>J Comput Biol</source><pubdate>2007</pubdate><volume>14</volume><fpage>927</fpage><lpage>949</lpage><xrefbib><pubidlist><pubid idtype="doi">10.1089/cmb.2007.0015</pubid><pubid idtype="pmpid" link="fulltext">17803371</pubid></pubidlist></xrefbib></bibl><bibl id="B17"><title><p>Discrimination of direct and indirect interactions in a network of regulatory effects</p></title><aug><au><snm>Tresch</snm><fnm>A</fnm></au><au><snm>Beissbarth</snm><fnm>T</fnm></au><au><snm>Sultmann</snm><fnm>H</fnm></au><au><snm>Kuner</snm><fnm>R</fnm></au><au><snm>Poustka</snm><fnm>A</fnm></au><au><snm>Buness</snm><fnm>A</fnm></au></aug><source>J Comput Biol</source><pubdate>2007</pubdate><volume>14</volume><fpage>1217</fpage><lpage>1228</lpage><xrefbib><pubidlist><pubid idtype="doi">10.1089/cmb.2007.0085</pubid><pubid idtype="pmpid" link="fulltext">17990974</pubid></pubidlist></xrefbib></bibl><bibl id="B18"><title><p>TRANSWESD: inferring cellular networks with transitive reduction</p></title><aug><au><snm>Klamt</snm><fnm>S</fnm></au><au><snm>Flassig</snm><fnm>RJ</fnm></au><au><snm>Sundmacher</snm><fnm>K</fnm></au></aug><source>Bioinformatics</source><pubdate>2010</pubdate><volume>17</volume><fpage>2160</fpage><lpage>2168</lpage></bibl><bibl id="B19"><title><p>Parallel human genome analysis: microarray-based expression monitoring of 1000 genes</p></title><aug><au><snm>Schena</snm><fnm>M</fnm></au><au><snm>Shalon</snm><fnm>D</fnm></au><au><snm>Heller</snm><fnm>R</fnm></au><au><snm>Chai</snm><fnm>A</fnm></au><au><snm>Brown</snm><fnm>PO</fnm></au><au><snm>Davis</snm><fnm>RW</fnm></au></aug><source>Proc Natl Acad Sci</source><pubdate>1996</pubdate><volume>93</volume><fpage>10614</fpage><lpage>10619</lpage><xrefbib><pubidlist><pubid idtype="doi">10.1073/pnas.93.20.10614</pubid><pubid idtype="pmcid">38202</pubid><pubid idtype="pmpid" link="fulltext">8855227</pubid></pubidlist></xrefbib></bibl><bibl id="B20"><title><p>Exploring the metabolic and genetic control of gene expression on a genomic scale</p></title><aug><au><snm>DeRisi</snm><fnm>JL</fnm></au><au><snm>Iyer</snm><fnm>VR</fnm></au><au><snm>Brown</snm><fnm>PO</fnm></au></aug><source>Science</source><pubdate>1997</pubdate><volume>278</volume><fpage>680</fpage><lpage>686</lpage><xrefbib><pubidlist><pubid idtype="doi">10.1126/science.278.5338.680</pubid><pubid idtype="pmpid" link="fulltext">9381177</pubid></pubidlist></xrefbib></bibl><bibl id="B21"><title><p>A theorem on Boolean matrices</p></title><aug><au><snm>Warshall</snm><fnm>S</fnm></au></aug><source>J Assoc Comput Mach</source><pubdate>1962</pubdate><volume>9</volume><fpage>11</fpage><lpage>12</lpage></bibl><bibl id="B22"><title><p>An algorithm for finding a minimum equivalent graph of a digraph</p></title><aug><au><snm>Moyles</snm><fnm>DM</fnm></au><au><snm>Thompson</snm><fnm>GL</fnm></au></aug><source>J Assoc Comput Mach</source><pubdate>1969</pubdate><volume>16</volume><fpage>455</fpage><lpage>460</lpage></bibl><bibl id="B23"><title><p>An algorithm for finding a minimal equivalent graph of a digraph</p></title><aug><au><snm>Hsu</snm><fnm>H</fnm></au></aug><source>J Assoc Comput Mach</source><pubdate>1975</pubdate><volume>22</volume><fpage>11</fpage><lpage>16</lpage></bibl><bibl id="B24"><title><p>An algorithm for finding a minimal equivalent graph of a strongly connected digraph</p></title><aug><au><snm>Martello</snm><fnm>S</fnm></au></aug><source>Computing</source><pubdate>1979</pubdate><volume>21</volume><fpage>183</fpage><lpage>194</lpage><xrefbib><pubid idtype="doi">10.1007/BF02253052</pubid></xrefbib></bibl><bibl id="B25"><title><p>Finding a minimum equivalent graph of a digraph</p></title><aug><au><snm>Martello</snm><fnm>S</fnm></au><au><snm>Toth</snm><fnm>P</fnm></au></aug><source>Networks</source><pubdate>1982</pubdate><volume>12</volume><fpage>89</fpage><lpage>100</lpage><xrefbib><pubid idtype="doi">10.1002/net.3230120202</pubid></xrefbib></bibl><bibl id="B26"><title><p>Exploration of essential gene functions via tetratable promoter alleles</p></title><aug><au><snm>Mnaimneh</snm><fnm>S</fnm></au><au><snm>Davierwala</snm><fnm>AP</fnm></au><au><snm>Haynes</snm><fnm>J</fnm></au><au><snm>Moffat</snm><fnm>J</fnm></au><au><snm>Peng</snm><fnm>WT</fnm></au><au><snm>Zhang</snm><fnm>W</fnm></au><au><snm>Yang</snm><fnm>X</fnm></au><au><snm>Pootoolal</snm><fnm>J</fnm></au><au><snm>Chua</snm><fnm>G</fnm></au><au><snm>Lopez</snm><fnm>A</fnm></au><au><snm>Trochesset</snm><fnm>M</fnm></au><au><snm>Morse</snm><fnm>D</fnm></au><au><snm>Krogan</snm><fnm>NJ</fnm></au><au><snm>Hiley</snm><fnm>SL</fnm></au><au><snm>Li</snm><fnm>Z</fnm></au><au><snm>Morris</snm><fnm>Q</fnm></au><au><snm>Grigull</snm><fnm>J</fnm></au><au><snm>Mitsakakis</snm><fnm>N</fnm></au><au><snm>Roberts</snm><fnm>CJ</fnm></au><au><snm>Greenblatt</snm><fnm>JF</fnm></au><au><snm>Boone</snm><fnm>C</fnm></au><au><snm>Kaiser</snm><fnm>CA</fnm></au><au><snm>Andrews</snm><fnm>BJ</fnm></au><au><snm>Hughes</snm><fnm>TR</fnm></au></aug><source>Cell</source><pubdate>2004</pubdate><volume>118</volume><fpage>31</fpage><lpage>44</lpage><xrefbib><pubidlist><pubid idtype="doi">10.1016/j.cell.2004.06.013</pubid><pubid idtype="pmpid" link="fulltext">15242642</pubid></pubidlist></xrefbib></bibl><bibl id="B27"><title><p>Mapping pathways and phenotypes by systematic gene overexpression</p></title><aug><au><snm>Sopko</snm><fnm>R</fnm></au><au><snm>Huang</snm><fnm>D</fnm></au><au><snm>Preston</snm><fnm>N</fnm></au><au><snm>Chua</snm><fnm>G</fnm></au><au><snm>Papp</snm><fnm>B</fnm></au><au><snm>Kafadar</snm><fnm>K</fnm></au><au><snm>Snyder</snm><fnm>M</fnm></au><au><snm>Oliver</snm><fnm>SG</fnm></au><au><snm>Cyert</snm><fnm>M</fnm></au><au><snm>Hughes</snm><fnm>TR</fnm></au><au><snm>Boone</snm><fnm>C</fnm></au><au><snm>Andrews</snm><fnm>B</fnm></au></aug><source>Mol Cell</source><pubdate>2006</pubdate><volume>21</volume><fpage>319</fpage><lpage>330</lpage><xrefbib><pubidlist><pubid idtype="doi">10.1016/j.molcel.2005.12.011</pubid><pubid idtype="pmpid" link="fulltext">16455487</pubid></pubidlist></xrefbib></bibl><bibl id="B28"><title><p>Identifying transcription factor functions and targets by phenotypic activation</p></title><aug><au><snm>Chua</snm><fnm>G</fnm></au><au><snm>Morris</snm><fnm>QD</fnm></au><au><snm>Sopko</snm><fnm>R</fnm></au><au><snm>Robinson</snm><fnm>MD</fnm></au><au><snm>Ryan</snm><fnm>O</fnm></au><au><snm>Chan</snm><fnm>ET</fnm></au><au><snm>Frey</snm><fnm>BJ</fnm></au><au><snm>Andrews</snm><fnm>BJ</fnm></au><au><snm>Boone</snm><fnm>C</fnm></au><au><snm>Hughes</snm><fnm>TR</fnm></au></aug><source>Proc Natl Acad Sci</source><pubdate>2006</pubdate><volume>103</volume><fpage>12045</fpage><lpage>12050</lpage><xrefbib><pubidlist><pubid idtype="doi">10.1073/pnas.0605140103</pubid><pubid idtype="pmcid">1567694</pubid><pubid idtype="pmpid" link="fulltext">16880382</pubid></pubidlist></xrefbib></bibl><bibl id="B29"><title><p>Transcriptional regulatory networks in <it>Saccharomyces cerevisiae</it></p></title><aug><au><snm>Lee</snm><fnm>TI</fnm></au><au><snm>Rinaldi</snm><fnm>NJ</fnm></au><au><snm>Robert</snm><fnm>F</fnm></au><au><snm>Odom</snm><fnm>DT</fnm></au><au><snm>Bar-Joseph</snm><fnm>Z</fnm></au><au><snm>Gerber</snm><fnm>GK</fnm></au><au><snm>Hannett</snm><fnm>NM</fnm></au><au><snm>Harbison</snm><fnm>CT</fnm></au><au><snm>Thompson</snm><fnm>CM</fnm></au><au><snm>Simon</snm><fnm>I</fnm></au><au><snm>Zeitlinger</snm><fnm>J</fnm></au><au><snm>Jennings</snm><fnm>EG</fnm></au><au><snm>Murray</snm><fnm>HL</fnm></au><au><snm>Gordon</snm><fnm>DB</fnm></au><au><snm>Ren</snm><fnm>B</fnm></au><au><snm>Wyrick</snm><fnm>JJ</fnm></au><au><snm>Tagne</snm><fnm>JB</fnm></au><au><snm>Volkert</snm><fnm>TL</fnm></au><au><snm>Fraenkel</snm><fnm>E</fnm></au><au><snm>Gifford</snm><fnm>DK</fnm></au><au><snm>Young</snm><fnm>RA</fnm></au></aug><source>Science</source><pubdate>2002</pubdate><volume>298</volume><fpage>799</fpage><lpage>804</lpage><xrefbib><pubidlist><pubid idtype="doi">10.1126/science.1075090</pubid><pubid idtype="pmpid" link="fulltext">12399584</pubid></pubidlist></xrefbib></bibl><bibl id="B30"><title><p>Enriching for direct regulatory targets in perturbed gene-expression profiles</p></title><aug><au><snm>Tringe</snm><fnm>SG</fnm></au><au><snm>Wagner</snm><fnm>A</fnm></au><au><snm>Ruby</snm><fnm>SW</fnm></au></aug><source>Genome Biol</source><pubdate>2004</pubdate><volume>5</volume><fpage>R29</fpage><xrefbib><pubidlist><pubid idtype="doi">10.1186/gb-2004-5-4-r29</pubid><pubid idtype="pmcid">395788</pubid><pubid idtype="pmpid" link="fulltext">15059262</pubid></pubidlist></xrefbib></bibl><bibl id="B31"><title><p>Systematic genetic analysis with ordered arrays of yeast deletion mutants</p></title><aug><au><snm>Tong</snm><fnm>AH</fnm></au><au><snm>Evangelista</snm><fnm>M</fnm></au><au><snm>Parsons</snm><fnm>AB</fnm></au><au><snm>Xu</snm><fnm>H</fnm></au><au><snm>Bader</snm><fnm>GD</fnm></au><au><snm>Pag&#233;</snm><fnm>N</fnm></au><au><snm>Robinson</snm><fnm>M</fnm></au><au><snm>Raghibizadeh</snm><fnm>S</fnm></au><au><snm>Hogue</snm><fnm>CW</fnm></au><au><snm>Bussey</snm><fnm>H</fnm></au><au><snm>Andrews</snm><fnm>B</fnm></au><au><snm>Tyers</snm><fnm>M</fnm></au><au><snm>Boone</snm><fnm>C</fnm></au></aug><source>Science</source><pubdate>2001</pubdate><volume>294</volume><fpage>2364</fpage><lpage>2368</lpage><xrefbib><pubidlist><pubid idtype="doi">10.1126/science.1065810</pubid><pubid idtype="pmpid" link="fulltext">11743205</pubid></pubidlist></xrefbib></bibl><bibl id="B32"><title><p>Correlation between protein and mRNA abundance in yeast</p></title><aug><au><snm>Gygi</snm><fnm>SP</fnm></au><au><snm>Rochon</snm><fnm>Y</fnm></au><au><snm>Franza</snm><fnm>BR</fnm></au><au><snm>Aebersold</snm><fnm>R</fnm></au></aug><source>Mol Cell Biol</source><pubdate>1999</pubdate><volume>19</volume><fpage>1720</fpage><lpage>1730</lpage><xrefbib><pubidlist><pubid idtype="pmcid">83965</pubid><pubid idtype="pmpid" link="fulltext">10022859</pubid></pubidlist></xrefbib></bibl><bibl id="B33"><title><p>Analysis of yeast protein kinases using protein chips</p></title><aug><au><snm>Zhu</snm><fnm>H</fnm></au><au><snm>Klemic</snm><fnm>JF</fnm></au><au><snm>Chang</snm><fnm>S</fnm></au><au><snm>Bertone</snm><fnm>P</fnm></au><au><snm>Casamayor</snm><fnm>A</fnm></au><au><snm>Klemic</snm><fnm>KG</fnm></au><au><snm>Smith</snm><fnm>D</fnm></au><au><snm>Gerstein</snm><fnm>M</fnm></au><au><snm>Reed</snm><fnm>MA</fnm></au><au><snm>Snyder</snm><fnm>M</fnm></au></aug><source>Nat Genet</source><pubdate>2000</pubdate><volume>26</volume><fpage>283</fpage><lpage>289</lpage><xrefbib><pubidlist><pubid idtype="doi">10.1038/81576</pubid><pubid idtype="pmpid" link="fulltext">11062466</pubid></pubidlist></xrefbib></bibl></refgrp>
</bm></art>