Chromatic number on a graph












2












$begingroup$



Let $G$ be any graph with order $p$ and size $q$. Prove that $$χ(G)ge {p^2 over p^2-2q}$$




If someone could give me a hint it would be amazing!










share|cite|improve this question











$endgroup$












  • $begingroup$
    I guess order is number of vertices, so what is size?
    $endgroup$
    – coffeemath
    Dec 6 '18 at 3:35






  • 1




    $begingroup$
    number of edges
    $endgroup$
    – John Smith
    Dec 6 '18 at 4:05










  • $begingroup$
    You want to prove $qleq p^2cdotfrac{chi-1}{2chi}$. Take a graph with $p$ vertices and $chi$-coloring. What is the most edges it can have if all bipartite subgraphs between different color pairs are complete?
    $endgroup$
    – Michal Adamaszek
    Dec 6 '18 at 7:20










  • $begingroup$
    Wow that is really cool! I had another idea. Is it possible to get this directly, by finding a lower bound on the largest clique in a graph? Then $chi geq textrm{largest clique size}$. My idea was to use an averaging method, but no success yet.
    $endgroup$
    – Mriganka Basu Roy Chowdhury
    Dec 6 '18 at 7:30








  • 1




    $begingroup$
    Possible duplicate of Prove that if G is a simple graph, $chi geq frac{|V|^2}{|V|^2-2|E|}$
    $endgroup$
    – Kuifje
    Dec 6 '18 at 9:20
















2












$begingroup$



Let $G$ be any graph with order $p$ and size $q$. Prove that $$χ(G)ge {p^2 over p^2-2q}$$




If someone could give me a hint it would be amazing!










share|cite|improve this question











$endgroup$












  • $begingroup$
    I guess order is number of vertices, so what is size?
    $endgroup$
    – coffeemath
    Dec 6 '18 at 3:35






  • 1




    $begingroup$
    number of edges
    $endgroup$
    – John Smith
    Dec 6 '18 at 4:05










  • $begingroup$
    You want to prove $qleq p^2cdotfrac{chi-1}{2chi}$. Take a graph with $p$ vertices and $chi$-coloring. What is the most edges it can have if all bipartite subgraphs between different color pairs are complete?
    $endgroup$
    – Michal Adamaszek
    Dec 6 '18 at 7:20










  • $begingroup$
    Wow that is really cool! I had another idea. Is it possible to get this directly, by finding a lower bound on the largest clique in a graph? Then $chi geq textrm{largest clique size}$. My idea was to use an averaging method, but no success yet.
    $endgroup$
    – Mriganka Basu Roy Chowdhury
    Dec 6 '18 at 7:30








  • 1




    $begingroup$
    Possible duplicate of Prove that if G is a simple graph, $chi geq frac{|V|^2}{|V|^2-2|E|}$
    $endgroup$
    – Kuifje
    Dec 6 '18 at 9:20














2












2








2


2



$begingroup$



Let $G$ be any graph with order $p$ and size $q$. Prove that $$χ(G)ge {p^2 over p^2-2q}$$




If someone could give me a hint it would be amazing!










share|cite|improve this question











$endgroup$





Let $G$ be any graph with order $p$ and size $q$. Prove that $$χ(G)ge {p^2 over p^2-2q}$$




If someone could give me a hint it would be amazing!







graph-theory






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 6 '18 at 2:53









Chinnapparaj R

5,4331928




5,4331928










asked Dec 6 '18 at 2:48









John SmithJohn Smith

333




333












  • $begingroup$
    I guess order is number of vertices, so what is size?
    $endgroup$
    – coffeemath
    Dec 6 '18 at 3:35






  • 1




    $begingroup$
    number of edges
    $endgroup$
    – John Smith
    Dec 6 '18 at 4:05










  • $begingroup$
    You want to prove $qleq p^2cdotfrac{chi-1}{2chi}$. Take a graph with $p$ vertices and $chi$-coloring. What is the most edges it can have if all bipartite subgraphs between different color pairs are complete?
    $endgroup$
    – Michal Adamaszek
    Dec 6 '18 at 7:20










  • $begingroup$
    Wow that is really cool! I had another idea. Is it possible to get this directly, by finding a lower bound on the largest clique in a graph? Then $chi geq textrm{largest clique size}$. My idea was to use an averaging method, but no success yet.
    $endgroup$
    – Mriganka Basu Roy Chowdhury
    Dec 6 '18 at 7:30








  • 1




    $begingroup$
    Possible duplicate of Prove that if G is a simple graph, $chi geq frac{|V|^2}{|V|^2-2|E|}$
    $endgroup$
    – Kuifje
    Dec 6 '18 at 9:20


















  • $begingroup$
    I guess order is number of vertices, so what is size?
    $endgroup$
    – coffeemath
    Dec 6 '18 at 3:35






  • 1




    $begingroup$
    number of edges
    $endgroup$
    – John Smith
    Dec 6 '18 at 4:05










  • $begingroup$
    You want to prove $qleq p^2cdotfrac{chi-1}{2chi}$. Take a graph with $p$ vertices and $chi$-coloring. What is the most edges it can have if all bipartite subgraphs between different color pairs are complete?
    $endgroup$
    – Michal Adamaszek
    Dec 6 '18 at 7:20










  • $begingroup$
    Wow that is really cool! I had another idea. Is it possible to get this directly, by finding a lower bound on the largest clique in a graph? Then $chi geq textrm{largest clique size}$. My idea was to use an averaging method, but no success yet.
    $endgroup$
    – Mriganka Basu Roy Chowdhury
    Dec 6 '18 at 7:30








  • 1




    $begingroup$
    Possible duplicate of Prove that if G is a simple graph, $chi geq frac{|V|^2}{|V|^2-2|E|}$
    $endgroup$
    – Kuifje
    Dec 6 '18 at 9:20
















$begingroup$
I guess order is number of vertices, so what is size?
$endgroup$
– coffeemath
Dec 6 '18 at 3:35




$begingroup$
I guess order is number of vertices, so what is size?
$endgroup$
– coffeemath
Dec 6 '18 at 3:35




1




1




$begingroup$
number of edges
$endgroup$
– John Smith
Dec 6 '18 at 4:05




$begingroup$
number of edges
$endgroup$
– John Smith
Dec 6 '18 at 4:05












$begingroup$
You want to prove $qleq p^2cdotfrac{chi-1}{2chi}$. Take a graph with $p$ vertices and $chi$-coloring. What is the most edges it can have if all bipartite subgraphs between different color pairs are complete?
$endgroup$
– Michal Adamaszek
Dec 6 '18 at 7:20




$begingroup$
You want to prove $qleq p^2cdotfrac{chi-1}{2chi}$. Take a graph with $p$ vertices and $chi$-coloring. What is the most edges it can have if all bipartite subgraphs between different color pairs are complete?
$endgroup$
– Michal Adamaszek
Dec 6 '18 at 7:20












$begingroup$
Wow that is really cool! I had another idea. Is it possible to get this directly, by finding a lower bound on the largest clique in a graph? Then $chi geq textrm{largest clique size}$. My idea was to use an averaging method, but no success yet.
$endgroup$
– Mriganka Basu Roy Chowdhury
Dec 6 '18 at 7:30






$begingroup$
Wow that is really cool! I had another idea. Is it possible to get this directly, by finding a lower bound on the largest clique in a graph? Then $chi geq textrm{largest clique size}$. My idea was to use an averaging method, but no success yet.
$endgroup$
– Mriganka Basu Roy Chowdhury
Dec 6 '18 at 7:30






1




1




$begingroup$
Possible duplicate of Prove that if G is a simple graph, $chi geq frac{|V|^2}{|V|^2-2|E|}$
$endgroup$
– Kuifje
Dec 6 '18 at 9:20




$begingroup$
Possible duplicate of Prove that if G is a simple graph, $chi geq frac{|V|^2}{|V|^2-2|E|}$
$endgroup$
– Kuifje
Dec 6 '18 at 9:20










1 Answer
1






active

oldest

votes


















1












$begingroup$

Suppose a graph with $v$ vertices has chromatic number $chi$, so we have a splitting of the vertex set into independent sets of sizes $v_1,ldots,v_chi$. Then the number of edges $e$ is at most
$$eleq sum_{1leq i<jleq chi}v_iv_jleq frac{chi-1}{2chi}(sum_i v_i)^2=frac{chi-1}{2chi}v^2 $$
where the middle inequality is something that holds for all real numbers as it is just $sum_{i<j}(v_i-v_j)^2geq 0$.






share|cite|improve this answer









$endgroup$













    Your Answer





    StackExchange.ifUsing("editor", function () {
    return StackExchange.using("mathjaxEditing", function () {
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    });
    });
    }, "mathjax-editing");

    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "69"
    };
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function() {
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled) {
    StackExchange.using("snippets", function() {
    createEditor();
    });
    }
    else {
    createEditor();
    }
    });

    function createEditor() {
    StackExchange.prepareEditor({
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3027976%2fchromatic-number-on-a-graph%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    1












    $begingroup$

    Suppose a graph with $v$ vertices has chromatic number $chi$, so we have a splitting of the vertex set into independent sets of sizes $v_1,ldots,v_chi$. Then the number of edges $e$ is at most
    $$eleq sum_{1leq i<jleq chi}v_iv_jleq frac{chi-1}{2chi}(sum_i v_i)^2=frac{chi-1}{2chi}v^2 $$
    where the middle inequality is something that holds for all real numbers as it is just $sum_{i<j}(v_i-v_j)^2geq 0$.






    share|cite|improve this answer









    $endgroup$


















      1












      $begingroup$

      Suppose a graph with $v$ vertices has chromatic number $chi$, so we have a splitting of the vertex set into independent sets of sizes $v_1,ldots,v_chi$. Then the number of edges $e$ is at most
      $$eleq sum_{1leq i<jleq chi}v_iv_jleq frac{chi-1}{2chi}(sum_i v_i)^2=frac{chi-1}{2chi}v^2 $$
      where the middle inequality is something that holds for all real numbers as it is just $sum_{i<j}(v_i-v_j)^2geq 0$.






      share|cite|improve this answer









      $endgroup$
















        1












        1








        1





        $begingroup$

        Suppose a graph with $v$ vertices has chromatic number $chi$, so we have a splitting of the vertex set into independent sets of sizes $v_1,ldots,v_chi$. Then the number of edges $e$ is at most
        $$eleq sum_{1leq i<jleq chi}v_iv_jleq frac{chi-1}{2chi}(sum_i v_i)^2=frac{chi-1}{2chi}v^2 $$
        where the middle inequality is something that holds for all real numbers as it is just $sum_{i<j}(v_i-v_j)^2geq 0$.






        share|cite|improve this answer









        $endgroup$



        Suppose a graph with $v$ vertices has chromatic number $chi$, so we have a splitting of the vertex set into independent sets of sizes $v_1,ldots,v_chi$. Then the number of edges $e$ is at most
        $$eleq sum_{1leq i<jleq chi}v_iv_jleq frac{chi-1}{2chi}(sum_i v_i)^2=frac{chi-1}{2chi}v^2 $$
        where the middle inequality is something that holds for all real numbers as it is just $sum_{i<j}(v_i-v_j)^2geq 0$.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Dec 6 '18 at 10:31









        Michal AdamaszekMichal Adamaszek

        2,08148




        2,08148






























            draft saved

            draft discarded




















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3027976%2fchromatic-number-on-a-graph%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            Willebadessen

            Ida-Boy-Ed-Garten

            Residenzschloss Arolsen