Sign Up

Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.

Have an account? Sign In

Have an account? Sign In Now

Sign In

Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.

Sign Up Here

Forgot Password?

Don't have account, Sign Up Here

Forgot Password

Lost your password? Please enter your email address. You will receive a link and will create a new password via email.

Have an account? Sign In Now

You must login to ask a question.

Forgot Password?

Need An Account, Sign Up Here

Please briefly explain why you feel this question should be reported.

Please briefly explain why you feel this answer should be reported.

Please briefly explain why you feel this user should be reported.

Sign InSign Up

The Archive Base

The Archive Base Logo The Archive Base Logo

The Archive Base Navigation

  • SEARCH
  • Home
  • About Us
  • Blog
  • Contact Us
Search
Ask A Question

Mobile menu

Close
Ask a Question
  • Home
  • Add group
  • Groups page
  • Feed
  • User Profile
  • Communities
  • Questions
    • New Questions
    • Trending Questions
    • Must read Questions
    • Hot Questions
  • Polls
  • Tags
  • Badges
  • Buy Points
  • Users
  • Help
  • Buy Theme
  • SEARCH
Home/ Questions/Q 8862739
In Process

The Archive Base Latest Questions

Editorial Team
  • 0
Editorial Team
Asked: June 14, 20262026-06-14T15:48:04+00:00 2026-06-14T15:48:04+00:00

I am trying to prove the computer complexity of this optimization problem: Given a

  • 0

I am trying to prove the computer complexity of this optimization problem:
Given a connected graph G = (V, E) and a set S ⊊ V. Find a connected subgraph G’= (V’, E ‘) that:

Min f(G')
Min |V'|

subjet to:

S ⊊ V’
V’ ⊆ V

It looks like a generalization of the minimum spanning tree problem when not all vertexes have to be included in the tree.
Is there a known problem that can be used to proof the complexity of this problem by reduction?

  • 1 1 Answer
  • 0 Views
  • 0 Followers
  • 0
Share
  • Facebook
  • Report

Leave an answer
Cancel reply

You must login to add an answer.

Forgot Password?

Need An Account, Sign Up Here

1 Answer

  • Voted
  • Oldest
  • Recent
  • Random
  1. Editorial Team
    Editorial Team
    2026-06-14T15:48:05+00:00Added an answer on June 14, 2026 at 3:48 pm

    Your problem formulation is not saying what you’re optimizing on– f(G’) first and within that Min|V’|, or the other way round, or the two combined in some way.

    if you optimize on the cost edges, it is the Steiner minimal tree (SMT) problem as is and NP-complete. if you optimize on |V’|, you can reduce SMT to it in polynomial time with the following:

    Let edge (u,v) between nodes u and v have cost k. Replace this edge by the following path:

    (u, i_1), (i_1, i_2), ..., (i_k, v) 
    

    so that the cost of each edge on this path is 1. You replaced the edge of cost (u, v) with a path with k-1 intermediary nodes on it and every edge has cost 1.

    Do this for every edge on graph. It reduces SMT to your problem and proves that yours optimizing on |V’| is NP-complete. Your reduction takes

    O(C*|V|^2) 
    

    time where C is an upper bound on the cost of edges in graph.

    Just saw the problem. Hope it helps.

    • 0
    • Reply
    • Share
      Share
      • Share on Facebook
      • Share on Twitter
      • Share on LinkedIn
      • Share on WhatsApp
      • Report

Sidebar

Related Questions

Trying to make this jQuery filter that uses .find case-insensitive. For example, when the
I'm trying to simply prove here that this simple function isn't good enough to
I'm new to powershell and this question will prove that point. I'm trying a
Trying to do some revision but not sure on this one: Prove that the
Trying to find a way to prove that my program is not running correctly
I'm trying to prove that changing document.domain can be used only for cross scripting
I'm trying to prove that the RE s(bs)*[(abb*a*)*ab]*aa(a∪b) where s=b*a*ab can be simplified to
I am trying to prove a table design flaw in a production db, that
I've got two class files that I'm trying to prove were generated from the
I'm trying to use heterogenous equality to prove statements involving this indexed datatype: data

Explore

  • Home
  • Add group
  • Groups page
  • Communities
  • Questions
    • New Questions
    • Trending Questions
    • Must read Questions
    • Hot Questions
  • Polls
  • Tags
  • Badges
  • Users
  • Help
  • SEARCH

Footer

© 2021 The Archive Base. All Rights Reserved
With Love by The Archive Base

Insert/edit link

Enter the destination URL

Or link to existing content

    No search term specified. Showing recent items. Search or use up and down arrow keys to select an item.