Creating an independent set from a graph in Alloy 4.2 -

-

i've created test graph try , create independent set from. know , independent set set of vertices aren't connected, i'm not sure how accomplish in alloy 4.2. here's have:

abstract sig vertex {     e: set vertex   -- e edge relation } -- test graph has vertices a, b, c, d, e, f 1 sig a, b, c, d, e, f extends vertex { } pred independentset[e: vertex->vertex, s: set vertex] {     --code here? } pred show {     -- setting edge relation     (a->a + a->b + a->c + a->d) +         (b->a + b->b + b->c + b->e) +             (c->a + c->b + c->c + c->f) = e } run show 6 

all i, j: s | not -> j in e

that's answer put, think it's sort of correct , gives instance. think it's missing point not sure how express it. hope gives idea!


Comments

Post a Comment

Popular posts from this blog

java - unable show chart in xls document using jasper reports -

-
Image
i new jasper reports . able export data through jasper reports excel sheet. when created pie chart in ireports , showing on preview. when write below code in jsp file view report in jasperviewer , shows data along chart. when try save document (that in jasperviewer, gives many ways of saving report either in pdf or rtf or xls) xls error came in console net.sf.jasperreports.engine.jrexception: cell cannot added. however when remove chart .jrxml file, able export data excel file. read jr chart inserted image in excel document. xls document not taking images. below jsp file: <%@ page language="java" contenttype="text/html; charset=iso-8859-1" pageencoding="iso-8859-1" import="java.sql.*,java.util.*, net.sf.jasperreports.engine.*,java.io.*, net.sf.jasperreports.engine.design.*, net.sf.jasperreports.view.jasperviewer" %> <!doctype html public "-//w3c//dtd html 4.01 transitional//en" "http://www.w3.org/tr/html...
Read more

java.lang.RuntimeException: Could not generate dummy secret at sun.security.ssl.RSAClientKeyExchange.<init> -

-
i working on java ee application (netbeans ide 8.0.2, glassfish 4.1, jdk 1.8.0_45). the access pages of application should secured https, modified web.xml : <security-constraint> <web-resource-collection> <url-pattern>/*</url-pattern> </web-resource-collection> <user-data-constraint> <description/> <transport-guarantee>confidential</transport-guarantee> </user-data-constraint> </security-constraint> when deploy & start glassfish via netbeans can access application via https://localhost:8181/myapp/ when bundle application in .war file , deploy manually copy of same glassfish installation files netbeans uses, exception while trying connect application: warning (35) grizzly0013: exception during filterchain execution java.lang.runtimeexception: not generate dummy secret @ sun.security.ssl.handshaker.checkthrown(handshaker.java:1429) @ sun.security.ssl.sslen...
Read more

javascript - How to change image src on success AJAX -

-
the form: <form action="/user/updateprofilepicture" id="uploadphotoform" method="post" enctype="multipart/form-data"> <button class="btn btn-onetraffic btn-responsive btn-large">+change photo</button> <input class="btn btn-onetraffic btn-responsive btn-large" style="opacity: 0; height: 34px; margin-top: -34px;" type="file" id="uploadphoto" name="file" accept="image/*"> </form> div want image source changed: <div id="img-container"> <img id="upslika" src="#"/> </div> i images url server through json i tried : success:function(){ console.log("success"); $("#upslika").attr("src", res.pictureurl); }, res response the success callback must this: success: function (res) { ...
Read more