Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Real Programmers think better when playing Adventure or Rogue.


devel / comp.theory / Re: NP-complete proof - using FLP reduction

SubjectAuthor
* NP-complete proof - using FLP reductionUser2121
`- NP-complete proof - using FLP reductionPhilip J. White

1
NP-complete proof - using FLP reduction

<4d5f65ff-50ec-46b2-a180-9e991da973f6n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=48363&group=comp.theory#48363

  copy link   Newsgroups: comp.theory
X-Received: by 2002:ad4:5189:0:b0:635:da53:763e with SMTP id b9-20020ad45189000000b00635da53763emr43086qvp.2.1688475617657;
Tue, 04 Jul 2023 06:00:17 -0700 (PDT)
X-Received: by 2002:a17:903:5c6:b0:1b8:97ed:a437 with SMTP id
kf6-20020a17090305c600b001b897eda437mr4694491plb.4.1688475616303; Tue, 04 Jul
2023 06:00:16 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Tue, 4 Jul 2023 06:00:15 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2001:6b0:17:fc08:b9dd:f88c:d78e:33f;
posting-account=I4inhQoAAADknF-LBh_MG18lD-pF3gyY
NNTP-Posting-Host: 2001:6b0:17:fc08:b9dd:f88c:d78e:33f
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <4d5f65ff-50ec-46b2-a180-9e991da973f6n@googlegroups.com>
Subject: NP-complete proof - using FLP reduction
From: muhammad...@gmail.com (User2121)
Injection-Date: Tue, 04 Jul 2023 13:00:17 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2099
 by: User2121 - Tue, 4 Jul 2023 13:00 UTC

I have formulated the below optimization problem.

https://book.polandcentral.cloudapp.azure.com/Formulation.JPG

In $(P)$:
- $w_i$ and $p_{ij}$, and $q_i$ are decision variable.
- $\alpha_i,c_{ij},\beta_{i}$ are coefficients.

For the proof of being NP-complete, It is easy to show that problem in is NP. For the reduction part of the proof, I aimed to show that [Capacitated Facility Location Problem](https://en.wikipedia.org/wiki/Facility_location_problem#Capacitated_facility_location) is polynomially reducible to $(P)$.

The main obstacle (so as to prove the instance of CFLP can be solved as instance of our problem) here is that in order to remove the last term in objective function of $(P)$, we can set the decision variable $q_i=0$, however, it yields that $w_i$ should be $1$ for all $i$ (due to existence of third constraints). In CFLP notation, it means that all facilities should be open (which does not parse to me).

Is there any alternative way to for the proof?

Re: NP-complete proof - using FLP reduction

<db59655a-03e2-416f-bef1-68f73102bfb0n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=48366&group=comp.theory#48366

  copy link   Newsgroups: comp.theory
X-Received: by 2002:a05:622a:1808:b0:403:3448:1a21 with SMTP id t8-20020a05622a180800b0040334481a21mr40774qtc.3.1688496544891;
Tue, 04 Jul 2023 11:49:04 -0700 (PDT)
X-Received: by 2002:a63:e70e:0:b0:553:dd01:9d1f with SMTP id
b14-20020a63e70e000000b00553dd019d1fmr8392315pgi.7.1688496544444; Tue, 04 Jul
2023 11:49:04 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Tue, 4 Jul 2023 11:49:04 -0700 (PDT)
In-Reply-To: <4d5f65ff-50ec-46b2-a180-9e991da973f6n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=173.53.62.254; posting-account=nEahSwoAAAChgVI4IMikH1GpVGvsiGfz
NNTP-Posting-Host: 173.53.62.254
References: <4d5f65ff-50ec-46b2-a180-9e991da973f6n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <db59655a-03e2-416f-bef1-68f73102bfb0n@googlegroups.com>
Subject: Re: NP-complete proof - using FLP reduction
From: philipwh...@gmail.com (Philip J. White)
Injection-Date: Tue, 04 Jul 2023 18:49:04 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2885
 by: Philip J. White - Tue, 4 Jul 2023 18:49 UTC

On Tuesday, July 4, 2023 at 9:00:19 AM UTC-4, User2121 wrote:
> I have formulated the below optimization problem.
>
> https://book.polandcentral.cloudapp.azure.com/Formulation.JPG
>
> In $(P)$:
> - $w_i$ and $p_{ij}$, and $q_i$ are decision variable.
> - $\alpha_i,c_{ij},\beta_{i}$ are coefficients.
>
> For the proof of being NP-complete, It is easy to show that problem in is NP. For the reduction part of the proof, I aimed to show that [Capacitated Facility Location Problem](https://en.wikipedia.org/wiki/Facility_location_problem#Capacitated_facility_location) is polynomially reducible to $(P)$.
>
> The main obstacle (so as to prove the instance of CFLP can be solved as instance of our problem) here is that in order to remove the last term in objective function of $(P)$, we can set the decision variable $q_i=0$, however, it yields that $w_i$ should be $1$ for all $i$ (due to existence of third constraints). In CFLP notation, it means that all facilities should be open (which does not parse to me).
>
> Is there any alternative way to for the proof?

probably, change the indexing in a non-obvious way.

My thing:

What is needed is a "non-de-recursive-izable forecast," based on access to good data and science, which should be calculated and published. The publication of the forecast could be set up so that the publication of it speeds up the release, but nothing else, provably, can be re-worked to allow input variables to be manipulated in a way that would change the output of the time when this ends and the cure is out.

-Philip White (philipwhite363@gmail.com)

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor