Skip to content
Snippets Groups Projects
Commit 03ddb38d authored by Hailu, Dawit's avatar Hailu, Dawit
Browse files

created a function for vardata and feasible function finder. updated probdata...

created a function for vardata and feasible function finder. updated probdata creator function, so it can work not only for relaxscip but scip also.
parent 1860991d
No related branches found
No related tags found
No related merge requests found
Showing
with 451 additions and 86149 deletions
{
"cells": [],
"metadata": {},
"nbformat": 4,
"nbformat_minor": 5
}
%% Cell type:code id: tags:
``` python
from matplotlib import pyplot as plt
import numpy as np
```
%% Cell type:code id: tags:
``` python
file = open("values.txt","r")
```
%% Cell type:code id: tags:
``` python
f = file.readline()
print(f)
niter = int(f)
g = [0]*niter
for i in range (0, niter):
g[i]= file.readline()
g[i]=float(g[i])
file.close()
print(g)
```
%% Output
50
[1.0, 20.0, -9.0, 35.0, 36.0, 40.0, 31.0, 30.0, 40.0, 31.0, 30.0, 40.0, 31.0, 30.0, 40.0, 31.0, 30.0, 40.0, 31.0, 30.0, 40.0, 31.0, 30.0, 40.0, 31.0, 30.0, 40.0, 31.0, 30.0, 40.0, 31.0, 30.0, 40.0, 31.0, 30.0, 40.0, 31.0, 30.0, 40.0, 31.0, 30.0, 40.0, 31.0, 30.0, 40.0, 31.0, 30.0, 40.0, 31.0, 30.0]
%% Cell type:code id: tags:
``` python
p= np.arange(1,niter+1)
print(p)
```
%% Output
[ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48
49 50]
%% Cell type:code id: tags:
``` python
plt.plot(p,g,'r-')
```
%% Output
[<matplotlib.lines.Line2D at 0x7fa77e7d8fd0>]
%% Cell type:code id: tags:
``` python
```
{
"cells": [],
"metadata": {},
"nbformat": 4,
"nbformat_minor": 4
}
!_TAG_FILE_FORMAT 2 /extended format; --format=1 will not append ;" to lines/
!_TAG_FILE_SORTED 1 /0=unsorted, 1=sorted, 2=foldcase/
!_TAG_OUTPUT_MODE u-ctags /u-ctags or e-ctags/
!_TAG_PROGRAM_AUTHOR Universal Ctags Team //
!_TAG_PROGRAM_NAME Universal Ctags /Derived from Exuberant Ctags/
!_TAG_PROGRAM_URL https://ctags.io/ /official site/
!_TAG_PROGRAM_VERSION 0.0.0 //
$(BINDIR) Makefile /^$(BINDIR):$/;" t
$(MAINFILE) Makefile /^$(MAINFILE): $(BINDIR) $(OBJDIR) $(SCIPLIBFILE) $(LPILIBFILE) $(NLPILIBFILE) $(MAINOBJFILES)$/;" t
$(MAINSHORTLINK) Makefile /^$(MAINSHORTLINK): $(MAINFILE)$/;" t
$(OBJDIR) Makefile /^$(OBJDIR):$/;" t
$(OBJDIR)/%.o Makefile /^$(OBJDIR)\/%.o: $(SRCDIR)\/%.c$/;" t
$(OBJDIR)/%.o Makefile /^$(OBJDIR)\/%.o: $(SRCDIR)\/%.cpp$/;" t
CMAINOBJ Makefile /^CMAINOBJ = cmain.o$/;" m
CXXMAINOBJ Makefile /^CXXMAINOBJ = relax_lagr.o\\$/;" m
MAIN Makefile /^MAIN = $(MAINNAME).$(BASE).$(LPS)$(EXEEXTENSION)$/;" m
MAINFILE Makefile /^MAINFILE = $(BINDIR)\/$(MAIN)$/;" m
MAINNAME Makefile /^MAINNAME = LagrangianRelaxation$/;" m
MAINOBJFILES Makefile /^MAINOBJFILES = $(addprefix $(OBJDIR)\/,$(CMAINOBJ))$/;" m
MAINSHORTLINK Makefile /^MAINSHORTLINK = $(BINDIR)\/$(MAINNAME)$/;" m
MAINSRC Makefile /^MAINSRC = $(addprefix $(SRCDIR)\/,$(CMAINOBJ:.o=.c))$/;" m
RELAX_DESC src/relax.cpp /^#define RELAX_DESC /;" d file:
RELAX_DESC src/relax_lagr.cpp /^#define RELAX_DESC /;" d file:
RELAX_FREQ src/relax.cpp /^#define RELAX_FREQ /;" d file:
RELAX_FREQ src/relax_lagr.cpp /^#define RELAX_FREQ /;" d file:
RELAX_NAME src/relax.cpp /^#define RELAX_NAME /;" d file:
RELAX_NAME src/relax_lagr.cpp /^#define RELAX_NAME /;" d file:
RELAX_PRIORITY src/relax.cpp /^#define RELAX_PRIORITY /;" d file:
RELAX_PRIORITY src/relax_lagr.cpp /^#define RELAX_PRIORITY /;" d file:
SCIPDIR Makefile /^SCIPDIR = ..\/..$/;" m
SCIPVERSION Makefile /^SCIPVERSION :=$(shell $(SCIPDIR)\/bin\/scip.$(BASE).$(LPS).$(TPI)$(EXEEXTENSION) -v | sed -e '/;" m
SCIP_DECL_RELAXEXEC src/relax.cpp /^SCIP_DECL_RELAXEXEC(relaxExeclagr)$/;" f file:
SCIP_DECL_RELAXEXEC src/relax_lagr.cpp /^SCIP_DECL_RELAXEXEC(relaxExeclagr)$/;" f file:
SCIP_DECL_RELAXFREE src/relax.cpp /^SCIP_DECL_RELAXFREE(relaxFreelagr)$/;" f
SCIP_DECL_RELAXFREE src/relax_lagr.cpp /^SCIP_DECL_RELAXFREE(relaxFreelagr)$/;" f file:
SCIP_DECL_RELAXINIT src/relax.cpp /^SCIP_DECL_RELAXINIT(relaxInitlagr)$/;" f file:
SCIP_DECL_RELAXINIT src/relax_lagr.cpp /^SCIP_DECL_RELAXINIT(relaxInitlagr)$/;" f file:
SCIP_ProbData src/probdata_lagr.cpp /^struct SCIP_ProbData$/;" s file:
SCIP_ProbData src/relax.cpp /^struct SCIP_ProbData$/;" s file:
SCIP_RelaxData src/relax.cpp /^struct SCIP_RelaxData$/;" s file:
SCIP_RelaxData src/relax_lagr.cpp /^struct SCIP_RelaxData$/;" s file:
SCIP_VarData src/relax.cpp /^struct SCIP_VarData$/;" s file:
SCIP_VarData src/vardata_lagr.cpp /^struct SCIP_VarData$/;" s file:
SCIPconsGetDualSlotconss src/relax.cpp /^SCIP_Real* SCIPconsGetDualSlotconss($/;" f typeref:typename:SCIP_Real * file:
SCIPconsGetMultiplier src/probdata_lagr.cpp /^SCIP_Real SCIPconsGetMultiplier(SCIP* scip,SCIP_CONS** cons,SCIP_Real subgradient,SCIP_Real C, S/;" f typeref:typename:SCIP_Real
SCIPconsGetSlotConss src/relax.cpp /^SCIP_CONS ** SCIPconsGetSlotConss($/;" f typeref:typename:SCIP_CONS ** file:
SCIPconsGetStartConss src/relax.cpp /^SCIP_CONS ** SCIPconsGetStartConss($/;" f typeref:typename:SCIP_CONS ** file:
SCIPconsGetnSlotConss src/relax.cpp /^int SCIPconsGetnSlotConss($/;" f typeref:typename:int file:
SCIPconsGetnStartConss src/relax.cpp /^int SCIPconsGetnStartConss($/;" f typeref:typename:int file:
SCIPcreateprobdata src/probdata_lagr.cpp /^SCIP_RETCODE SCIPcreateprobdata$/;" f typeref:typename:SCIP_RETCODE
SCIPgetFeasUpperbound src/probdata_lagr.cpp /^SCIP_RETCODE SCIPgetFeasUpperbound(SCIP* scip, SCIP_Real** solvals, SCIP_Real** upperbound, SCIP/;" f typeref:typename:SCIP_RETCODE
SCIPgetNSlotConss src/probdata_lagr.cpp /^int SCIPgetNSlotConss($/;" f typeref:typename:int
SCIPgetSlotConss src/probdata_lagr.cpp /^SCIP_CONS** SCIPgetSlotConss($/;" f typeref:typename:SCIP_CONS **
SCIPgetSubgradients src/probdata_lagr.cpp /^SCIP_Real SCIPgetSubgradients($/;" f typeref:typename:SCIP_Real
SCIPincludeRelaxlagrangian src/relax.cpp /^SCIP_RETCODE SCIPincludeRelaxlagrangian($/;" f typeref:typename:SCIP_RETCODE
SCIPincludeRelaxlagrangian src/relax_lagr.cpp /^SCIP_RETCODE SCIPincludeRelaxlagrangian($/;" f typeref:typename:SCIP_RETCODE
SCIPslotgetvarids src/probdata_lagr.cpp /^int* SCIPslotgetvarids($/;" f typeref:typename:int *
SCIPsolveiteration src/probdata_lagr.cpp /^SCIP_RETCODE SCIPsolveiteration(SCIP* scip,int nSlotConss,SCIP_Real** subgradients, SCIP_Real C,/;" f typeref:typename:SCIP_RETCODE
SCIPvarGetQuotient src/vardata_lagr.cpp /^SCIP_Real SCIPvarGetQuotient(SCIP_VARDATA* vardata)$/;" f typeref:typename:SCIP_Real
SCIPvarchangeDuals src/vardata_lagr.cpp /^SCIP_RETCODE SCIPvarchangeDuals(SCIP* relaxscip,SCIP_VAR*** vars, SCIP_Real* dualmultipliers, SC/;" f typeref:typename:SCIP_RETCODE
SCIPvardataCreateLagrangian src/vardata_lagr.cpp /^SCIP_RETCODE SCIPvardataCreateLagrangian($/;" f typeref:typename:SCIP_RETCODE
SCIPvardataGetConss src/relax.cpp /^SCIP_CONS** SCIPvardataGetConss($/;" f typeref:typename:SCIP_CONS ** file:
SCIPvardataGetSlotConss src/vardata_lagr.cpp /^SCIP_CONS** SCIPvardataGetSlotConss($/;" f typeref:typename:SCIP_CONS **
SCIPvardataGetVarID src/vardata_lagr.cpp /^int SCIPvardataGetVarID($/;" f typeref:typename:int
SCIPvardataGetconsids src/vardata_lagr.cpp /^int* SCIPvardataGetconsids($/;" f typeref:typename:int *
SCIPvardataGetnVarConss src/relax.cpp /^int SCIPvardataGetnVarConss($/;" f typeref:typename:int file:
SCIPvardataGetnVarSlotConss src/relax.cpp /^int SCIPvardataGetnVarSlotConss($/;" f typeref:typename:int file:
SCIPvardataGetnVarSlotConss src/vardata_lagr.cpp /^int SCIPvardataGetnVarSlotConss($/;" f typeref:typename:int
SlotConss src/probdata_lagr.cpp /^ SCIP_CONS** SlotConss;$/;" m struct:SCIP_ProbData typeref:typename:SCIP_CONS ** file:
SlotConss src/relax.cpp /^ SCIP_CONS** SlotConss; \/\/array with all slot constraits. i.e. t/;" m struct:SCIP_ProbData typeref:typename:SCIP_CONS ** file:
StartConss src/probdata_lagr.cpp /^ SCIP_CONS** StartConss;$/;" m struct:SCIP_ProbData typeref:typename:SCIP_CONS ** file:
StartConss src/relax.cpp /^ SCIP_CONS** StartConss; \/\/ array with all start constraits. i.e./;" m struct:SCIP_ProbData typeref:typename:SCIP_CONS ** file:
VarConss src/relax.cpp /^ SCIP_CONS** VarConss; \/** array with all constraints where the va/;" m struct:SCIP_VarData typeref:typename:SCIP_CONS ** file:
VarConss src/vardata_lagr.cpp /^ SCIP_CONS** VarConss;$/;" m struct:SCIP_VarData typeref:typename:SCIP_CONS ** file:
VarSlotConss src/relax.cpp /^ SCIP_CONS** VarSlotConss; \/** array only with the slotconstraints whe/;" m struct:SCIP_VarData typeref:typename:SCIP_CONS ** file:
VarSlotConss src/vardata_lagr.cpp /^ SCIP_CONS** VarSlotConss; \/**<contains all slot const/;" m struct:SCIP_VarData typeref:typename:SCIP_CONS ** file:
VarStartConss src/relax.cpp /^ SCIP_CONS* VarStartConss; \/** VarStartConss where the var is occuring/;" m struct:SCIP_VarData typeref:typename:SCIP_CONS * file:
__SCIP_PROBDATA_LAGR__ src/probdata_lagr.h /^#define __SCIP_PROBDATA_LAGR__$/;" d
__SCIP_RELAX_lagr_H__ src/relax_lagr.h /^#define __SCIP_RELAX_lagr_H__$/;" d
__SCIP_VARDATA_LAGR__ src/vardata_lagr.h /^#define __SCIP_VARDATA_LAGR__$/;" d
all Makefile /^all: $(SCIPDIR) $(MAINFILE) $(MAINSHORTLINK)$/;" t
bestsolvals src/relax_lagr.cpp /^ SCIP_Real* bestsolvals;$/;" m struct:SCIP_RelaxData typeref:typename:SCIP_Real * file:
btoa src/probdata_lagr.cpp /^#define btoa(/;" d file:
clean Makefile /^clean: $(OBJDIR)$/;" t
consids src/vardata_lagr.cpp /^ int* consids;$/;" m struct:SCIP_VarData typeref:typename:int * file:
dualmultipliers src/relax.cpp /^ SCIP_Real* dualmultipliers; \/\/lambda related with the sl/;" m struct:SCIP_ProbData typeref:typename:SCIP_Real * file:
extract src/probdata_lagr.cpp /^void extract(char *s,char *t,char *d,int pos,int len)$/;" f typeref:typename:void
feasiblesol src/relax_lagr.cpp /^ SCIP_Real* feasiblesol;$/;" m struct:SCIP_RelaxData typeref:typename:SCIP_Real * file:
lint Makefile /^lint: $(MAINSRC)$/;" t
main src/cmain.c /^int main($/;" f typeref:typename:int
nSlotConss src/probdata_lagr.cpp /^ int nSlotConss; \/\/ number of slot constraints.$/;" m struct:SCIP_ProbData typeref:typename:int file:
nSlotConss src/relax.cpp /^ int nSlotConss; \/\/ number of slot constraints.$/;" m struct:SCIP_ProbData typeref:typename:int file:
nStartConss src/probdata_lagr.cpp /^ int nStartConss;$/;" m struct:SCIP_ProbData typeref:typename:int file:
nStartConss src/relax.cpp /^ int nStartConss; \/\/ number of start constraints. $/;" m struct:SCIP_ProbData typeref:typename:int file:
nVarConss src/relax.cpp /^ int nVarConss; \/** number of constraints in VarConss *\/$/;" m struct:SCIP_VarData typeref:typename:int file:
nVarConss src/vardata_lagr.cpp /^ int nVarConss;$/;" m struct:SCIP_VarData typeref:typename:int file:
nVarSlotConss src/relax.cpp /^ int nVarSlotConss; \/** number of slotconstraints in (slot)VarC/;" m struct:SCIP_VarData typeref:typename:int file:
nVarSlotConss src/vardata_lagr.cpp /^ int nVarSlotConss; \/**<number of slot constrain/;" m struct:SCIP_VarData typeref:typename:int file:
nVarStartConss src/relax.cpp /^ int nVarStartConss; \/** number of VarStartConsss in VarConss (/;" m struct:SCIP_VarData typeref:typename:int file:
nvars src/relax.cpp /^ int nvars;$/;" m struct:SCIP_ProbData typeref:typename:int file:
probdataCreate src/probdata_lagr.cpp /^SCIP_RETCODE probdataCreate($/;" f typeref:typename:SCIP_RETCODE
probdataFree src/probdata_lagr.cpp /^SCIP_RETCODE probdataFree($/;" f typeref:typename:SCIP_RETCODE
relaxCopylagr src/relax.cpp /^#define relaxCopylagr /;" d file:
relaxExitlagr src/relax.cpp /^#define relaxExitlagr /;" d file:
relaxExitlagr src/relax_lagr.cpp /^#define relaxExitlagr /;" d file:
relaxExitsollagr src/relax.cpp /^#define relaxExitsollagr /;" d file:
relaxExitsollagr src/relax_lagr.cpp /^#define relaxExitsollagr /;" d file:
relaxInitsollagr src/relax.cpp /^#define relaxInitsollagr /;" d file:
relaxInitsollagr src/relax_lagr.cpp /^#define relaxInitsollagr /;" d file:
runShell src/cmain.c /^SCIP_RETCODE runShell($/;" f typeref:typename:SCIP_RETCODE file:
scip Makefile /^scip:$/;" t
sol src/relax.cpp /^ SCIP_SOL* sol; \/**current solution(working solution)*\/$/;" m struct:SCIP_RelaxData typeref:typename:SCIP_SOL * file:
sol src/relax_lagr.cpp /^ SCIP_SOL* sol; \/**current solution(working solution)*\/$/;" m struct:SCIP_RelaxData typeref:typename:SCIP_SOL * file:
subgradients src/relax.cpp /^ SCIP_Real* subgradients;$/;" m struct:SCIP_VarData typeref:typename:SCIP_Real * file:
tags Makefile /^tags:$/;" t
test Makefile /^test: $(MAINFILE)$/;" t
upperbound src/probdata_lagr.cpp /^ SCIP_Real* upperbound;$/;" m struct:SCIP_ProbData typeref:typename:SCIP_Real * file:
upperbound src/relax_lagr.cpp /^ SCIP_Real* upperbound;$/;" m struct:SCIP_RelaxData typeref:typename:SCIP_Real * file:
var src/vardata_lagr.cpp /^ SCIP_VAR* var;$/;" m struct:SCIP_VarData typeref:typename:SCIP_VAR * file:
vardata src/relax_lagr.cpp /^ SCIP_VARDATA* vardata;$/;" m struct:SCIP_RelaxData typeref:typename:SCIP_VARDATA * file:
vardataDelete src/vardata_lagr.cpp /^SCIP_RETCODE vardataDelete($/;" f typeref:typename:SCIP_RETCODE
vardatafree src/vardata_lagr.cpp /^SCIP_RETCODE vardatafree($/;" f typeref:typename:SCIP_RETCODE
varid src/vardata_lagr.cpp /^ int varid;$/;" m struct:SCIP_VarData typeref:typename:int file:
varids src/probdata_lagr.cpp /^ int* varids; \/**<Ids for the variables found in the slo/;" m struct:SCIP_ProbData typeref:typename:int * file:
varquotient src/vardata_lagr.cpp /^ SCIP_Real varquotient;$/;" m struct:SCIP_VarData typeref:typename:SCIP_Real file:
vars src/relax.cpp /^ SCIP_VAR** vars;$/;" m struct:SCIP_ProbData typeref:typename:SCIP_VAR ** file:
\ SCIP STATISTICS
\ Problem name : data/6f4s.lp_relaxscip
\ Variables : 63 (63 binary, 0 integer, 0 implicit integer, 0 continuous)
\ Constraints : 43
Minimize
Obj: +1 t_x_{1}_{0} +15 t_x_{1}_{15} +30 t_x_{1}_{30} +45 t_x_{1}_{45} +60 t_x_{1}_{60} +75 t_x_{1}_{75}
+90 t_x_{1}_{90} +105 t_x_{1}_{105} +120 t_x_{1}_{120} +15 t_x_{2}_{15} +30 t_x_{2}_{30} +45 t_x_{2}_{45}
+60 t_x_{2}_{60} +75 t_x_{2}_{75} +90 t_x_{2}_{90} +105 t_x_{2}_{105} +120 t_x_{2}_{120} +15 t_x_{3}_{15}
+30 t_x_{3}_{30} +45 t_x_{3}_{45} +60 t_x_{3}_{60} +75 t_x_{3}_{75} +90 t_x_{3}_{90} +105 t_x_{3}_{105}
+120 t_x_{3}_{120} +15 t_x_{4}_{15} +30 t_x_{4}_{30} +45 t_x_{4}_{45} +60 t_x_{4}_{60} +75 t_x_{4}_{75}
+90 t_x_{4}_{90} +105 t_x_{4}_{105} +120 t_x_{4}_{120} +15 t_x_{5}_{15} +30 t_x_{5}_{30} +45 t_x_{5}_{45}
+60 t_x_{5}_{60} +75 t_x_{5}_{75} +90 t_x_{5}_{90} +105 t_x_{5}_{105} +120 t_x_{5}_{120} +15 t_x_{6}_{15}
+30 t_x_{6}_{30} +45 t_x_{6}_{45} +60 t_x_{6}_{60} +75 t_x_{6}_{75} +90 t_x_{6}_{90} +105 t_x_{6}_{105}
+120 t_x_{6}_{120} +15 t_x_{7}_{15} +30 t_x_{7}_{30} +45 t_x_{7}_{45} +60 t_x_{7}_{60} +75 t_x_{7}_{75}
+90 t_x_{7}_{90} +105 t_x_{7}_{105} +120 t_x_{7}_{120}
Subject to
slot1: +1 t_x_{1}_{0} +1 t_x_{2}_{0} <= +1
slot2: +1 t_x_{1}_{15} +1 t_x_{2}_{15} <= +1
slot3: +1 t_x_{1}_{30} +1 t_x_{2}_{30} <= +1
slot4: +1 t_x_{1}_{45} +1 t_x_{2}_{45} <= +1
slot5: +1 t_x_{1}_{60} +1 t_x_{2}_{60} <= +1
slot6: +1 t_x_{1}_{75} +1 t_x_{2}_{75} <= +1
slot7: +1 t_x_{1}_{90} +1 t_x_{2}_{90} <= +1
slot8: +1 t_x_{1}_{105} +1 t_x_{2}_{105} <= +1
slot9: +1 t_x_{1}_{120} +1 t_x_{2}_{120} <= +1
slot10: +1 t_x_{2}_{0} +1 t_x_{3}_{0} +1 t_x_{4}_{0} <= +1
slot11: +1 t_x_{2}_{15} +1 t_x_{3}_{15} +1 t_x_{4}_{15} <= +1
slot12: +1 t_x_{2}_{30} +1 t_x_{3}_{30} +1 t_x_{4}_{30} <= +1
slot13: +1 t_x_{2}_{45} +1 t_x_{3}_{45} +1 t_x_{4}_{45} <= +1
slot14: +1 t_x_{2}_{60} +1 t_x_{3}_{60} +1 t_x_{4}_{60} <= +1
slot15: +1 t_x_{2}_{75} +1 t_x_{3}_{75} +1 t_x_{4}_{75} <= +1
slot16: +1 t_x_{2}_{90} +1 t_x_{3}_{90} +1 t_x_{4}_{90} <= +1
slot17: +1 t_x_{2}_{105} +1 t_x_{3}_{105} +1 t_x_{4}_{105} <= +1
slot18: +1 t_x_{2}_{120} +1 t_x_{3}_{120} +1 t_x_{4}_{120} <= +1
slot19: +1 t_x_{1}_{0} +1 t_x_{3}_{0} +1 t_x_{5}_{0} <= +1
slot20: +1 t_x_{1}_{15} +1 t_x_{3}_{15} +1 t_x_{5}_{15} <= +1
slot21: +1 t_x_{1}_{30} +1 t_x_{3}_{30} +1 t_x_{5}_{30} <= +1
slot22: +1 t_x_{1}_{45} +1 t_x_{3}_{45} +1 t_x_{5}_{45} <= +1
slot23: +1 t_x_{1}_{60} +1 t_x_{3}_{60} +1 t_x_{5}_{60} <= +1
slot24: +1 t_x_{1}_{75} +1 t_x_{3}_{75} +1 t_x_{5}_{75} <= +1
slot25: +1 t_x_{1}_{90} +1 t_x_{3}_{90} +1 t_x_{5}_{90} <= +1
slot26: +1 t_x_{1}_{105} +1 t_x_{3}_{105} +1 t_x_{5}_{105} <= +1
slot27: +1 t_x_{1}_{120} +1 t_x_{3}_{120} +1 t_x_{5}_{120} <= +1
slot28: +1 t_x_{4}_{0} +1 t_x_{5}_{0} +1 t_x_{6}_{0} <= +1
slot29: +1 t_x_{4}_{15} +1 t_x_{5}_{15} +1 t_x_{6}_{15} <= +1
slot30: +1 t_x_{4}_{30} +1 t_x_{5}_{30} +1 t_x_{6}_{30} <= +1
slot31: +1 t_x_{4}_{45} +1 t_x_{5}_{45} +1 t_x_{6}_{45} <= +1
slot32: +1 t_x_{4}_{60} +1 t_x_{5}_{60} +1 t_x_{6}_{60} <= +1
slot33: +1 t_x_{4}_{75} +1 t_x_{5}_{75} +1 t_x_{6}_{75} <= +1
slot34: +1 t_x_{4}_{90} +1 t_x_{5}_{90} +1 t_x_{6}_{90} <= +1
slot35: +1 t_x_{4}_{105} +1 t_x_{5}_{105} +1 t_x_{6}_{105} <= +1
slot36: +1 t_x_{4}_{120} +1 t_x_{5}_{120} +1 t_x_{6}_{120} <= +1
F_1: +1 t_x_{1}_{0} +1 t_x_{1}_{15} +1 t_x_{1}_{30} +1 t_x_{1}_{45} +1 t_x_{1}_{60} +1 t_x_{1}_{75} +1 t_x_{1}_{90}
+1 t_x_{1}_{105} +1 t_x_{1}_{120} = +1
F_2: +1 t_x_{2}_{0} +1 t_x_{2}_{15} +1 t_x_{2}_{30} +1 t_x_{2}_{45} +1 t_x_{2}_{60} +1 t_x_{2}_{75} +1 t_x_{2}_{90}
+1 t_x_{2}_{105} +1 t_x_{2}_{120} = +1
F_3: +1 t_x_{3}_{0} +1 t_x_{3}_{15} +1 t_x_{3}_{30} +1 t_x_{3}_{45} +1 t_x_{3}_{60} +1 t_x_{3}_{75} +1 t_x_{3}_{90}
+1 t_x_{3}_{105} +1 t_x_{3}_{120} = +1
F_4: +1 t_x_{4}_{0} +1 t_x_{4}_{15} +1 t_x_{4}_{30} +1 t_x_{4}_{45} +1 t_x_{4}_{60} +1 t_x_{4}_{75} +1 t_x_{4}_{90}
+1 t_x_{4}_{105} +1 t_x_{4}_{120} = +1
F_5: +1 t_x_{5}_{0} +1 t_x_{5}_{15} +1 t_x_{5}_{30} +1 t_x_{5}_{45} +1 t_x_{5}_{60} +1 t_x_{5}_{75} +1 t_x_{5}_{90}
+1 t_x_{5}_{105} +1 t_x_{5}_{120} = +1
F_6: +1 t_x_{6}_{0} +1 t_x_{6}_{15} +1 t_x_{6}_{30} +1 t_x_{6}_{45} +1 t_x_{6}_{60} +1 t_x_{6}_{75} +1 t_x_{6}_{90}
+1 t_x_{6}_{105} +1 t_x_{6}_{120} = +1
F_7: +1 t_x_{7}_{0} +1 t_x_{7}_{15} +1 t_x_{7}_{30} +1 t_x_{7}_{45} +1 t_x_{7}_{60} +1 t_x_{7}_{75} +1 t_x_{7}_{90}
+1 t_x_{7}_{105} +1 t_x_{7}_{120} = +1
Bounds
0 <= t_x_{1}_{0} <= 1
0 <= t_x_{1}_{15} <= 1
0 <= t_x_{1}_{30} <= 1
0 <= t_x_{1}_{45} <= 1
0 <= t_x_{1}_{60} <= 1
0 <= t_x_{1}_{75} <= 1
0 <= t_x_{1}_{90} <= 1
0 <= t_x_{1}_{105} <= 1
0 <= t_x_{1}_{120} <= 1
0 <= t_x_{2}_{0} <= 1
0 <= t_x_{2}_{15} <= 1
0 <= t_x_{2}_{30} <= 1
0 <= t_x_{2}_{45} <= 1
0 <= t_x_{2}_{60} <= 1
0 <= t_x_{2}_{75} <= 1
0 <= t_x_{2}_{90} <= 1
0 <= t_x_{2}_{105} <= 1
0 <= t_x_{2}_{120} <= 1
0 <= t_x_{3}_{0} <= 1
0 <= t_x_{3}_{15} <= 1
0 <= t_x_{3}_{30} <= 1
0 <= t_x_{3}_{45} <= 1
0 <= t_x_{3}_{60} <= 1
0 <= t_x_{3}_{75} <= 1
0 <= t_x_{3}_{90} <= 1
0 <= t_x_{3}_{105} <= 1
0 <= t_x_{3}_{120} <= 1
0 <= t_x_{4}_{0} <= 1
0 <= t_x_{4}_{15} <= 1
0 <= t_x_{4}_{30} <= 1
0 <= t_x_{4}_{45} <= 1
0 <= t_x_{4}_{60} <= 1
0 <= t_x_{4}_{75} <= 1
0 <= t_x_{4}_{90} <= 1
0 <= t_x_{4}_{105} <= 1
0 <= t_x_{4}_{120} <= 1
0 <= t_x_{5}_{0} <= 1
0 <= t_x_{5}_{15} <= 1
0 <= t_x_{5}_{30} <= 1
0 <= t_x_{5}_{45} <= 1
0 <= t_x_{5}_{60} <= 1
0 <= t_x_{5}_{75} <= 1
0 <= t_x_{5}_{90} <= 1
0 <= t_x_{5}_{105} <= 1
0 <= t_x_{5}_{120} <= 1
0 <= t_x_{6}_{0} <= 1
0 <= t_x_{6}_{15} <= 1
0 <= t_x_{6}_{30} <= 1
0 <= t_x_{6}_{45} <= 1
0 <= t_x_{6}_{60} <= 1
0 <= t_x_{6}_{75} <= 1
0 <= t_x_{6}_{90} <= 1
0 <= t_x_{6}_{105} <= 1
0 <= t_x_{6}_{120} <= 1
0 <= t_x_{7}_{0} <= 1
0 <= t_x_{7}_{15} <= 1
0 <= t_x_{7}_{30} <= 1
0 <= t_x_{7}_{45} <= 1
0 <= t_x_{7}_{60} <= 1
0 <= t_x_{7}_{75} <= 1
0 <= t_x_{7}_{90} <= 1
0 <= t_x_{7}_{105} <= 1
0 <= t_x_{7}_{120} <= 1
Binaries
t_x_{1}_{0} t_x_{1}_{15} t_x_{1}_{30} t_x_{1}_{45} t_x_{1}_{60} t_x_{1}_{75} t_x_{1}_{90} t_x_{1}_{105}
t_x_{1}_{120} t_x_{2}_{0} t_x_{2}_{15} t_x_{2}_{30} t_x_{2}_{45} t_x_{2}_{60} t_x_{2}_{75} t_x_{2}_{90}
t_x_{2}_{105} t_x_{2}_{120} t_x_{3}_{0} t_x_{3}_{15} t_x_{3}_{30} t_x_{3}_{45} t_x_{3}_{60} t_x_{3}_{75}
t_x_{3}_{90} t_x_{3}_{105} t_x_{3}_{120} t_x_{4}_{0} t_x_{4}_{15} t_x_{4}_{30} t_x_{4}_{45} t_x_{4}_{60}
t_x_{4}_{75} t_x_{4}_{90} t_x_{4}_{105} t_x_{4}_{120} t_x_{5}_{0} t_x_{5}_{15} t_x_{5}_{30} t_x_{5}_{45}
t_x_{5}_{60} t_x_{5}_{75} t_x_{5}_{90} t_x_{5}_{105} t_x_{5}_{120} t_x_{6}_{0} t_x_{6}_{15} t_x_{6}_{30}
t_x_{6}_{45} t_x_{6}_{60} t_x_{6}_{75} t_x_{6}_{90} t_x_{6}_{105} t_x_{6}_{120} t_x_{7}_{0} t_x_{7}_{15}
t_x_{7}_{30} t_x_{7}_{45} t_x_{7}_{60} t_x_{7}_{75} t_x_{7}_{90} t_x_{7}_{105} t_x_{7}_{120}
End
Source diff could not be displayed: it is too large. Options to address this: view the blob.
This diff is collapsed.
# from matplotlib import pyplot as plt
import numpy as np
print('hello')
\ No newline at end of file
No preview for this file type
dualbound = 1.000000, lowerbound=6.855655, norm of subgrad 1.000000 dualbound = 1.000000, lowerbound=6.708204, norm of subgrad 244.981990 stepsize= -0.000000
dualbound = 90.000000, lowerbound=15.000000, norm of subgrad 1.000000 dualbound = 90.000000, lowerbound=6.708204, norm of subgrad 244.981990 stepsize= -0.000000
This diff is collapsed.
{
"cells": [],
"metadata": {},
"nbformat": 4,
"nbformat_minor": 5
}
F_7
t_x_{7}_{0} varbufindex 54 nextvarindex 55 nextvarindex 56 nextvarindex 57 nextvarindex 58 nextvarindex 59 nextvarindex 60 nextvarindex 61 nextvarindex 62 nvarincons = 0 (t_x_{7}_{0},54,1.000000)
t_x_{7}_{15} varbufindex 55 (t_x_{7}_{15},55,0.000000)
t_x_{7}_{30} varbufindex 56 (t_x_{7}_{30},56,0.000000)
t_x_{7}_{45} varbufindex 57 (t_x_{7}_{45},57,0.000000)
t_x_{7}_{60} varbufindex 58 (t_x_{7}_{60},58,0.000000)
t_x_{7}_{75} varbufindex 59 (t_x_{7}_{75},59,0.000000)
t_x_{7}_{90} varbufindex 60 (t_x_{7}_{90},60,0.000000)
t_x_{7}_{105} varbufindex 61 (t_x_{7}_{105},61,0.000000)
t_x_{7}_{120} varbufindex 62 (t_x_{7}_{120},62,0.000000)
36
37
F_6
t_x_{6}_{0} varbufindex 45 nextvarindex 46 nextvarindex 47 nextvarindex 48 nextvarindex 49 nextvarindex 50 nextvarindex 51 nextvarindex 52 nextvarindex 53 nvarincons = 1 (sid=27, order=75, nconsvars=3,0) var = t_x_{4}_{0} var = t_x_{5}_{0}
(t_x_{6}_{0},45,1.000000)
t_x_{6}_{15} varbufindex 46 (t_x_{6}_{15},46,0.000000)
t_x_{6}_{30} varbufindex 47 (t_x_{6}_{30},47,0.000000)
t_x_{6}_{45} varbufindex 48 (t_x_{6}_{45},48,0.000000)
t_x_{6}_{60} varbufindex 49 (t_x_{6}_{60},49,0.000000)
t_x_{6}_{75} varbufindex 50 (t_x_{6}_{75},50,0.000000)
t_x_{6}_{90} varbufindex 51 (t_x_{6}_{90},51,0.000000)
t_x_{6}_{105} varbufindex 52 (t_x_{6}_{105},52,0.000000)
t_x_{6}_{120} varbufindex 53 (t_x_{6}_{120},53,0.000000)
38
39
F_5
t_x_{5}_{0} varbufindex 36 (t_x_{5}_{0},36,0.000000)
t_x_{5}_{15} varbufindex 37 nextvarindex 38 nextvarindex 39 nextvarindex 40 nextvarindex 41 nextvarindex 42 nextvarindex 43 nextvarindex 44 nvarincons = 2 (sid=19, order=51, nconsvars=3,0) var = t_x_{1}_{15} var = t_x_{3}_{15}
(sid=28, order=78, nconsvars=3,0) var = t_x_{4}_{15} var = t_x_{6}_{15}
(t_x_{5}_{15},37,1.000000)
t_x_{5}_{30} varbufindex 38 (t_x_{5}_{30},38,0.000000)
t_x_{5}_{45} varbufindex 39 (t_x_{5}_{45},39,0.000000)
t_x_{5}_{60} varbufindex 40 (t_x_{5}_{60},40,0.000000)
t_x_{5}_{75} varbufindex 41 (t_x_{5}_{75},41,0.000000)
t_x_{5}_{90} varbufindex 42 (t_x_{5}_{90},42,0.000000)
t_x_{5}_{105} varbufindex 43 (t_x_{5}_{105},43,0.000000)
t_x_{5}_{120} varbufindex 44 (t_x_{5}_{120},44,0.000000)
40
41
F_4
t_x_{4}_{0} varbufindex 27 (t_x_{4}_{0},27,0.000000)
t_x_{4}_{15} varbufindex 28 (t_x_{4}_{15},28,0.000000)
t_x_{4}_{30} varbufindex 29 nextvarindex 30 nextvarindex 31 nextvarindex 32 nextvarindex 33 nextvarindex 34 nextvarindex 35 nvarincons = 2 (sid=11, order=27, nconsvars=3,75) var = t_x_{2}_{30} var = t_x_{3}_{30}
(sid=29, order=81, nconsvars=3,0) var = t_x_{5}_{30} var = t_x_{6}_{30}
(t_x_{4}_{30},29,1.000000)
t_x_{4}_{45} varbufindex 30 (t_x_{4}_{45},30,0.000000)
t_x_{4}_{60} varbufindex 31 (t_x_{4}_{60},31,0.000000)
t_x_{4}_{75} varbufindex 32 (t_x_{4}_{75},32,0.000000)
t_x_{4}_{90} varbufindex 33 (t_x_{4}_{90},33,0.000000)
t_x_{4}_{105} varbufindex 34 (t_x_{4}_{105},34,0.000000)
t_x_{4}_{120} varbufindex 35 (t_x_{4}_{120},35,0.000000)
F_3
t_x_{3}_{0} varbufindex 18 nextvarindex 19 nextvarindex 20 nextvarindex 21 nextvarindex 22 nextvarindex 23 nextvarindex 24 nextvarindex 25 nextvarindex 26 nvarincons = 2 (sid=9, order=21, nconsvars=3,57) var = t_x_{2}_{0} var = t_x_{4}_{0}
(sid=18, order=48, nconsvars=3,0) var = t_x_{1}_{0} var = t_x_{5}_{0}
(t_x_{3}_{0},18,1.000000)
t_x_{3}_{15} varbufindex 19 (t_x_{3}_{15},19,0.000000)
t_x_{3}_{30} varbufindex 20 (t_x_{3}_{30},20,0.000000)
t_x_{3}_{45} varbufindex 21 (t_x_{3}_{45},21,0.000000)
t_x_{3}_{60} varbufindex 22 (t_x_{3}_{60},22,0.000000)
t_x_{3}_{75} varbufindex 23 (t_x_{3}_{75},23,0.000000)
t_x_{3}_{90} varbufindex 24 (t_x_{3}_{90},24,0.000000)
t_x_{3}_{105} varbufindex 25 (t_x_{3}_{105},25,0.000000)
t_x_{3}_{120} varbufindex 26 (t_x_{3}_{120},26,0.000000)
F_2
t_x_{2}_{0} varbufindex 9 (t_x_{2}_{0},9,0.000000)
t_x_{2}_{15} varbufindex 10 nextvarindex 11 nextvarindex 12 nextvarindex 13 nextvarindex 14 nextvarindex 15 nextvarindex 16 nextvarindex 17 nvarincons = 2 (sid=1, order=4, nconsvars=2,10) var = t_x_{1}_{15}
(sid=10, order=24, nconsvars=3,66) var = t_x_{3}_{15} var = t_x_{4}_{15}
(t_x_{2}_{15},10,1.000000)
t_x_{2}_{30} varbufindex 11 (t_x_{2}_{30},11,0.000000)
t_x_{2}_{45} varbufindex 12 (t_x_{2}_{45},12,0.000000)
t_x_{2}_{60} varbufindex 13 (t_x_{2}_{60},13,0.000000)
t_x_{2}_{75} varbufindex 14 (t_x_{2}_{75},14,0.000000)
t_x_{2}_{90} varbufindex 15 (t_x_{2}_{90},15,0.000000)
t_x_{2}_{105} varbufindex 16 (t_x_{2}_{105},16,0.000000)
t_x_{2}_{120} varbufindex 17 (t_x_{2}_{120},17,0.000000)
F_1
t_x_{1}_{0} varbufindex 0 (t_x_{1}_{0},0,0.000000)
t_x_{1}_{15} varbufindex 1 (t_x_{1}_{15},1,0.000000)
t_x_{1}_{30} varbufindex 2 nextvarindex 3 nextvarindex 4 nextvarindex 5 nextvarindex 6 nextvarindex 7 nextvarindex 8 nvarincons = 2 (sid=2, order=6, nconsvars=2,14) var = t_x_{2}_{30}
(sid=20, order=54, nconsvars=3,0) var = t_x_{3}_{30} var = t_x_{5}_{30}
(t_x_{1}_{30},2,1.000000)
t_x_{1}_{45} varbufindex 3 (t_x_{1}_{45},3,0.000000)
t_x_{1}_{60} varbufindex 4 (t_x_{1}_{60},4,0.000000)
t_x_{1}_{75} varbufindex 5 (t_x_{1}_{75},5,0.000000)
t_x_{1}_{90} varbufindex 6 (t_x_{1}_{90},6,0.000000)
t_x_{1}_{105} varbufindex 7 (t_x_{1}_{105},7,0.000000)
t_x_{1}_{120} varbufindex 8 (t_x_{1}_{120},8,0.000000)
42
1.000000 1.000000 norm=6.708204
-1624.873929 90.000000 norm=6.708204
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
No preview for this file type
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment