Complexity Theory – Special Monotonous SAT Problem: NP Completed?

Let's say we have the set $ X = {x_1, x_2, dots } $ of variables. Then we consider the following problem: is the formula
$$ bigwedge _ {(a, b, c) in A} (a vee b vee c) wedge bigwedge _ {(a, b, c) in B} ( neg a vee neg b vee neg c) $$
to the $ A, B subset X ^ 3 $ fulfilled.

This problem was called Montone-3 satellite before and it is known to be NP-complete.

My question is: if we accept that $ A = B $ must hold, is the problem still NP-complete? That means we ask if we can color vertices so that three of them are not always the same color.

The results that I found on the internet confuse me a little because I believe that the definitions of monotone sat, not-all-equal-sat are not always the same.

SharePoint Modern Experience – "Expand content" cannot be completed

That may seem like an absolutely stupid question, but I really can't figure it out and it borders on insanity.

I accidentally clicked the expand content button (below) in a Modern Experience library and removed the quick link bar, the options bar at the top (the one the button is in), and pretty much everything else. I can't finish it and there is nothing I could find online.

The culprit

Source of immense frustration

[ INSTANT DDOS PROTECTED SERVERS @ $65/mo ] – [ CRYPTO ACCEPTED ] – = – Server completed

Server Complete, LLC has been in business for 12 years and will remain so. We are the instant satisfaction experts you want when it comes to your server needs.

We have a variety of configurations that will be used IMMEDIATELY after your order is completed! If your website goes viral on a Sunday at 2:00 a.m., you need to be sure that you get the computing power increase you need when you need it! All of our standard configurations are released immediately after receipt of payment.

This promotion includes / 30 DDoS protection that is included with the server. In order for the IP protected by DDoS to be forwarded to you, you must submit a support ticket requesting the addition of this protection.

Do you have any questions? We have answers! Please email us for the fastest answer: sales (@) servercomplete (.) com

Dual Intel Xeon E5-2660 SATA model (Dual Octo Core with HT! – 16 physical / 32 total)
64 GB DDR3 ECC RAM
6 x 1000 GB Enterprise SATA hard drive
Hardware RAID controller (RAID-0 and RAID-10 are supported)
30 TB bandwidth at 1 Gbit / s
/ 27 Private VLAN (29 usable) + / 30 DDoS protection
Private network access at 1 Gbit / s
Management controller
Jacksonville data center
Automated provision of servers – delivery in a few minutes!

FREE setup – $ 99.00 / month
Click here to order

Dual Intel Xeon E5-2660 SAS model (Dual Octo Core with HT! – 16 physical / 32 total)
64 GB DDR3 ECC RAM
6 x 600 GB Enterprise SAS hard drive
Hardware RAID controller (RAID-0 and RAID-10 are supported)
30 TB bandwidth at 1 Gbit / s
/ 27 Private VLAN (29 usable) +
/ 30 DDoS protection
Private network access at 1 Gbit / s
Management controller
Jacksonville data center
Automated provision of servers – delivery in a few minutes!

FREE setup – $ 99.00 / month
Click here to order

Dual Intel Xeon E5-2660 SSD model (Dual Octo Core with HT! – 16 physical / 32 total)
64 GB DDR3 ECC RAM
6 x 200 GB Dell Enterprise SSD
Hardware RAID controller (RAID-0 and RAID-10 are supported)
30 TB bandwidth at 1 Gbit / s
/ 27 Private VLAN (29 usable) +
/ 30 DDoS protection
Private network access at 1 Gbit / s
Management controller
Jacksonville data center
Automated provision of servers – delivery in a few minutes!

FREE setup – $ 99.00 / month
Click here to order


Dual Intel Xeon X5650 4-BAY (Dual Hex Core with HT! – 12 physical / 24 total)
48 GB DDR3 ECC RAM
4 x 1000 GB Enterprise SATA hard drive
Hardware RAID controller (RAID-10)
30 TB bandwidth at 1 Gbit / s
/ 28 Private VLAN (13 usable) +
/ 30 DDoS protection
Management controller
Jacksonville data center
Automated provision of servers – delivery in a few minutes!

FREE setup – $ 79.00 / month
Click here to order

Dual Intel Xeon X5650 2-BAY (Dual Hex Core with HT! – 12 physical / 24 deadal)
24 GB DDR3 ECC RAM
2 x 1000 GB Enterprise SATA hard drives
Hardware RAID controller (RAID-10)
30 TB bandwidth at 1 Gbit / s
/ 29 Private VLAN (5 usable) +
/ 30 DDoS protection
Management controller
Jacksonville data center
Automated provision of servers – delivery in a few minutes!

FREE setup – $ 65.00 / month
Click here to order

Payment Methods:
~~~~~~~~~~~~~~~~

  • PayPal
  • Credit / debit card
  • Crypto / BitCoin *NEW*

About our facilities:
~~~~~~~~~~~~~~~~

  • SSAE16 SOC 1,2,3 type 2 system
  • N + 1 UPS redundancy
  • 1.39 MW UPS capacity for critical loads
  • N + 1 cooling redundancy
  • 4x Caterpillar 500KW generator
  • 100% Juniper network, completely redundant from core to access
  • DDoS protection Optional
  • Industry presence for 12 years!
  • 24/7/365 responsive, knowledgeable, proven and trustworthy support services
  • Automated operating system installations
  • Hardware for business
  • Guaranteed hardware replacement within two hours
  • SSAE16 facility
  • Multiple service feeds from Metro Atlanta's major power grids
  • 3x 2MW Caterpillar generator set
  • 100% Juniper network, completely redundant from core to access
  • DDoS protection Optional
  • Industry presence for 12 years!
  • 24/7/365 responsive, knowledgeable, proven and trustworthy support services
  • Automated operating system installations
  • Hardware for business
  • Guaranteed hardware replacement within two hours

About our network:
~~~~~~~~~~~~~~~~
We completely manage our own network (AS19531) and control all aspects of our equipment and environment. Our network currently consists of Centurylink, Windstream, Zayo, Atlanta SNAP Peering and Peering on the Jacksonville Internet Exchange.

We use all Juniper devices in our infrastructure. Our core is based on the Juniper MX platform and our distribution and access levels are based on the Juniper EX platform.

Our carrier uplinks are provided through multiple 10 Gbps optical interfaces, and each enclosure has a capacity of at least 20 Gbps that is sent back to our distribution level.

Mirror: http://lg.as19531.net/

Server management portal:
~~~~~~~~~~~~~~~~~~~~~~
Click on our website to find out what our control panel consists of Here

We have our own developers who have written a fully customized and automated client command system (Server Command) for you! This system contains many important functions with which you can manage your services with us. The functionality includes:

  • Remote reboot
  • Bandwidth graphs
  • Reverse DNS Management
  • Live Rescue System
  • Hardware statistics
  • Restart the operating system – Completely redesigned operating system installation platform for more flexibility and newer operating system options (NEW FUNCTION!!)
  • Server Status Monitor – Monitors the status of ICMP pings, the TCP port status, or the HTTP response code (NEW FUNCTION!!)
  • Secure VPN access – access to your server's IPMI interface for advanced server management (NEW FUNCTION!!)
  • Bandwidth Usage Reports – Detailed reports on bandwidth usage available for each dedicated server (NEW FUNCTION!!)
  • Server Deployment – New server deployment system to automatically assign servers that match the purchased upgrades, if available (NEW FUNCTION!!)

Upgrade options:
~~~~~~~~~~~~~~~~

Operating Systems:

  • Windows Server Standard – $ 25.00 / month
  • All supported Linux distributions

Control Panels:

  • DirectAdmin
  • InterWorx
  • cPanel / WHM VPS
  • cPanel / WHM Dedicated

IP addresses:

  • Additional routing / 30 – $ 4.00 / month
  • Additional routing / 29 – $ 6.00 / mo
  • Additional routing / 28 – $ 10.00 / mo
  • Additional routing / 27 – $ 16.00 / mo

All orders are automatically checked for verification. As soon as the check is completed, your order will be automatically provided with the operating system selected in the order form. If your operating system or hardware does not meet the standard or the automatic order check fails, there may be delays in delivery. We guarantee a delivery time of one hour or less for basic orders that pass our automated verification process!

If you have any questions, please send an email to sales (@) servercomplete (.) Com

The Department of Justice has just completed the investigation against Hillary and found nothing. Thoughts?

As I said …

About 10 investigations by HRC and no charges filed.

there are only a few options …

1. Hillary is innocent (remember, innocent until proven)

2. If she is guilty, the Republicans are too incompetent to find anything.

or 3. BOTH, she is innocent and Republicans are incompetent.

Object Oriented – Ruby OOP wants feedback on a game that was completed with rock, paper, or scissors

I have just completed my first Ruby-oop project. Pretty simple, but still a bit time consuming as I'm still learning the language.

I would like feedback and opportunities on how to improve this and improve code flow, or could have done something else to save time or the "right way".

Thank you all in advance!

My code below

class Player
    attr_accessor :name

    def initialize(name)
        @name = name
    end

end

class Game

    def player_vs_AI?
        puts "Hello User..."
        puts "Will you be playing against another person or the computer?"
        puts "Choose 1 for another person or choose 2 for the computer"
        @answer = gets.chomp.to_s

    end


    def greeting

        names = ('Bob', 'Joseph', 'Catherine', 'Paul', 'Tom', 'Baker')
        puts "Hi, please enter your name player 1: "
        name1 = gets.chomp
        @player1 = Player.new(name1)

        if @answer == '1'
            puts "Hi, please enter your name player 2: "
            name2 = gets.chomp
            @player2 = Player.new(name2)
        elsif @answer == '2'
            name2 = names.sample
            @player2 = Player.new(name2)
            puts "Player 2 will be named #{@player2.name}"
        end
        sleep(0.5)
        puts "Welcome to Rock-Paper-Scissor"
        sleep(0.5)
        puts "Welcome #{@player1.name} and #{@player2.name}nn"
        sleep(0.5)

    end 

    def instruct
        puts "The rules of the game are simplen"
        puts "Simply choose Rock(R), Paper(P) or Scissor(S) each turnn "
        puts "Paper beats Rock, Scissor beats paper and Rock beats Scissorn"
        puts "Ready....?"
        sleep(1.0)
    end

    def choice
        choices = ('r', 'p', 's')

        puts "#{@player1.name}, please choose your choice of weapon: R(rock), P(paper), S(Scissor)"
        @choice_1=gets.chomp
        @choice_1.downcase!

        while !(@choice_1 == 'r' || @choice_1 == 'p' || @choice_1 == 's') do
            puts "#{@player1.name} That is not a valid choice, please choose from r, p, or s"
            @choice_1=gets.chomp
            @choice_1.downcase!
        end

        if @answer == '1'
            puts "#{@player2.name}, please choose your choice of weapon: R(rock), P(paper), S(Scissor)"
            @choice_2=gets.chomp
            @choice_2.downcase!

            while !(@choice_2 == 'r' || @choice_2 == 'p' || @choice_2 == 's') do
                puts "#{@player2.name} That is not a valid choice, please choose from r, p, or s"
                @choice_2=gets.chomp
                @choice_2.downcase!
            end
        elsif @answer == '2'
            @choice_2 == choices.sample
        end         
    end

    def logic
        puts "Lets see who wins...will it be #{@player1.name} or will it be #{@player2.name}n"
        sleep(2.0)
        if @choice_1 == @choice_2
            puts "Opps, both players picked the same weapon, It is a TIE!!!"
            puts "Lets go back and choose again..."
            sleep(3.0)
            choice
        end
        if @choice_1 == 'r' && @choice_2 == 'p'
            puts "#{@player2.name} win!!! Paper covers Rock"
        elsif @choice_1 == 'p' && @choice_2 == 'r'
            puts "#{@player1.name} you Win!!! Paper covers Rock"
        elsif @choice_1 == 'p' && @choice_2 == 's'
            puts "#{@player2.name} you win!!! Scissor cuts Paper "
        elsif @choice_2 == 's' && @choice_1 == 'p'
            puts "#{@player1.name} you win!!! Scissor cuts Paper"
        elsif @choice_1  == 'r' && @choice_2 == 's'
            puts "#{@player1.name} you win!!! Rock beats Scissor"
        else @choice_2 == 'r' && @choice_1 == 's'
            puts "#{@player2.name} you win!!!! Rock beats Scissor"
        end
    end

    def play_again?
        sleep(0.5)
        puts "n"
        puts "Would you like to play again?(yes/no)  "
        input = gets.chomp
        if input == 'yes'
            start
        elsif input == 'no'
            puts "Thank #{@player1.name} and #{@player2.name} for playing!"
        end
    end

end

def start
    game = Game.new
    game.player_vs_AI?
    game.greeting
    game.instruct
    game.choice
    game.logic
    game.play_again?
end 
start
```

mac – Process completed after opening the terminal

I am running a bioinformatics course that includes the following instructions for setting up my bash profile:

You need a few lines in your setup files. Open a terminal and start
the following:

curl http://data.biostarhandbook.com/install/bash_profile.txt >> ~/.bash_profile
curl http://data.biostarhandbook.com/install/bashrc.txt >> ~/.bashrc

These commands update your so-called "shell" (see later) to achieve a more uniform behavior. If you want to know the details, read the page Setting the bash profile. Do not execute this terminal initialization command more than once!

I accidentally executed the command twice. Every time I open the terminal, "Operation Complete" is printed.

I'm trying to find the problem with /bin/bash -x I found:

Last login: Sat Dec 28 17:43:22 on ttys001
+ '(' -x /usr/libexec/path_helper ')'
++ /usr/libexec/path_helper -s
+ eval 'PATH="/usr/local/bin:/usr/bin:/bin:/usr/sbin:/sbin:/opt/X11/bin";'
export 'PATH;'
++ PATH=/usr/local/bin:/usr/bin:/bin:/usr/sbin:/sbin:/opt/X11/bin
++ export PATH
+ '(' /bin/bash '!=' no ')'
+ '(' -r /etc/bashrc ')'
+ . /etc/bashrc
++ '(' -z 's-v$ ' ')'
++ PS1='h:W u$ '
++ shopt -s checkwinsize
++ '(' -r /etc/bashrc_Apple_Terminal ')'
++ . /etc/bashrc_Apple_Terminal
+++ '(' -z '' ')'
+++ PROMPT_COMMAND=update_terminal_cwd
+++ '(' 0 -eq 0 ')'
+++ '(' -n F255D8F8-2CB8-4EE0-9020-34B81CF28789 ')'
+++ '(' '!' -e /Users/benoitduc/.bash_sessions_disable ')'
+++ SHELL_SESSION_DID_INIT=1
+++ SHELL_SESSION_DIR=/Users/benoitduc/.bash_sessions
+++ SHELL_SESSION_FILE=/Users/benoitduc/.bash_sessions/F255D8F8-2CB8-4EE0-9020-34B81CF28789.session
+++ mkdir -m 700 -p /Users/benoitduc/.bash_sessions
+++ '(' -r /Users/benoitduc/.bash_sessions/F255D8F8-2CB8-4EE0-9020-34B81CF28789.session
')'
+++ '(' 1 -eq 1 ')'
+++ SHELL_SESSION_HISTFILE=/Users/benoitduc/.bash_sessions/F255D8F8-2CB8-4EE0-9020-34B81CF28789.history
+++ SHELL_SESSION_HISTFILE_NEW=/Users/benoitduc/.bash_sessions/F255D8F8-2CB8-4EE0-9020-34B81CF28789.historynew
+++ SHELL_SESSION_HISTFILE_SHARED=/Users/benoitduc/.bash_history
+++ '(' -s /Users/benoitduc/.bash_sessions/F255D8F8-2CB8-4EE0-9020-34B81CF28789.history
')'
+++ PROMPT_COMMAND='shell_session_history_check; update_terminal_cwd'
+++ SHELL_SESSION_TIMESTAMP_FILE=/Users/benoitduc/.bash_sessions/_expiration_check_timestamp
+++ trap shell_session_update EXIT
+ '(' -f /Users/benoitduc/.bashrc ')'
+ source /Users/benoitduc/.bashrc
++ '(' -f /Users/benoitduc/.bashrc ')'
++ source /Users/benoitduc/.bashrc
+++ '(' -f /Users/benoitduc/.bashrc ')'
+++ source /Users/benoitduc/.bashrc
++++ '(' -f /Users/benoitduc/.bashrc ')'
++++ source /Users/benoitduc/.bashrc
...
...

If anyone can help me, it would be appreciated.

[ INSTANT DDOS PROTECTED SERVERS @ $65/mo ] – [ CRYPTO ACCEPTED ] – = – Server completed

Server Complete, LLC has been in business for 12 years and will remain so. We are the instant satisfaction experts you crave when it comes to your server needs.

We have a variety of configurations that IMMEDIATELY BE USED upon completion of your order! If your site becomes viral on a Sunday at 2:00 am, you need to be sure that you'll get the required increase in computing power when you need it! All our standard configurations will be released immediately upon receipt of payment.

This action includes / 30 DDoS protection included with the server. In order for DDoS-protected IP to be forwarded to you, you must submit a support ticket requesting the addition of this protection.

Do you have any questions? We have answers! Please email us for the fastest answer: sales (@) servercomplete (.) com

Dual Intel Xeon E5-2660 SATA model (Dual Octo Core with HT! – 16 physical / 32 total)
64 GB of DDR3 ECC RAM
6 x 1000 GB Enterprise SATA hard drive
Hardware RAID controllers (RAID-0 and RAID-10 are supported)
30 TB bandwidth at 1 Gbps
/ 27 Private VLAN (29 usable) + / 30 DDoS protection
Private network access at 1 Gbps
Management Controller
Jacksonville Datacenter
Automated Deployment of Servers – Deliver in Minutes!

FREE setup – 99.00 USD / month
Click here to order

Dual Intel Xeon E5-2660 SAS model (Dual Octo Core with HT! – 16 physical / 32 total)
64 GB of DDR3 ECC RAM
6×600 GB Enterprise SAS Hard Drive
Hardware RAID controllers (RAID-0 and RAID-10 are supported)
30 TB bandwidth at 1 Gbps
/ 27 Private VLAN (29 usable) +
/ 30 DDoS protection
Private network access at 1 Gbps
Management Controller
Jacksonville Datacenter
Automated Deployment of Servers – Deliver in Minutes!

FREE setup – 99.00 USD / month
Click here to order

Dual Intel Xeon E5-2660 SSD Model (Dual Octo Core with HT! – 16 physical / 32 total)
64 GB of DDR3 ECC RAM
6 x 200 GB Dell Enterprise SSD
Hardware RAID controllers (RAID-0 and RAID-10 are supported)
30 TB bandwidth at 1 Gbps
/ 27 Private VLAN (29 usable) +
/ 30 DDoS protection
Private network access at 1 Gbps
Management Controller
Jacksonville Datacenter
Automated Deployment of Servers – Deliver in Minutes!

FREE setup – 99.00 USD / month
Click here to order


Dual Intel Xeon X5650 4-BAY (Dual Hex Core with HT! – 12 physical / 24 total)
48 GB of DDR3 ECC RAM
4 x 1000 GB Enterprise SATA hard drive
Hardware RAID controller (RAID-10)
30 TB bandwidth at 1 Gbps
/ 28 Private VLAN (13 usable) +
/ 30 DDoS protection
Management Controller
Jacksonville Datacenter
Automated Deployment of Servers – Deliver in Minutes!

FREE setup – 79.00 USD / month
Click here to order

Dual Intel Xeon X5650 2-BAY (Dual Hex Core with HT! – 12 physical / 24 deadal)
24 GB DDR3 ECC RAM
2 x 1000 GB Enterprise SATA hard drive
Hardware RAID controller (RAID-10)
30 TB bandwidth at 1 Gbps
/ 29 Private VLAN (5 usable) +
/ 30 DDoS protection
Management Controller
Jacksonville Datacenter
Automated Deployment of Servers – Deliver in Minutes!

FREE setup – 65.00 USD / month
Click here to order

Payment Methods:
~~~~~~~~~~~~~~~~

  • PayPal
  • Credit / debit card
  • Crypto / BitCoin *NEW*

About our facilities:
~~~~~~~~~~~~~~~~

  • SSAE16 SOC 1,2,3 type 2 plant
  • N + 1 UPS redundancy
  • 1.39 MW UPS capacity for critical loads
  • N + 1 cooling redundancy
  • 4x Caterpillar 500KW generator set
  • 100% Juniper network, fully redundant from core to access
  • DDoS protection Optional
  • Industry presence for 12 years!
  • 24/7/365 responsive, knowledgeable, proven and trusted support services
  • Automated operating system installations
  • Hardware for businesses
  • Two hours guaranteed hardware replacement
  • SSAE16 facility
  • Several service feeds from Metro Atlanta's main power grids
  • 3x 2MW Caterpillar Generator Set
  • 100% Juniper network, fully redundant from core to access
  • DDoS protection Optional
  • Industry presence for 12 years!
  • 24/7/365 responsive, knowledgeable, proven and trusted support services
  • Automated operating system installations
  • Hardware for businesses
  • Two hours guaranteed hardware exchange

About our network:
~~~~~~~~~~~~~~~~
We manage our own network completely (AS19531) and control all aspects of our equipment and environment. Our network currently consists of Centurylink, Windstream, Zayo, Atlanta SNAP Peering and Peering on the Jacksonville Internet Exchange.

We use all Juniper devices in our infrastructure. Our core is based on the Juniper MX platform and our distribution and access levels are based on the Juniper EX platform.

Our carrier uplinks are deployed across multiple 10 Gbps optical interfaces, and each enclosure has at least 20 Gbps of capacity, which is sent back to our distribution level.

Mirror: http://lg.as19531.net/

Server Management Portal:
~~~~~~~~~~~~~~~~~~~~~~
Click on our website to find out what our control panel consists of Here

We have our own developers who have written a completely custom and automated client management system (Server Command) for you! This system contains many important features that allow you to manage your services with us. The functionality includes:

  • Remote reboot
  • Bandwidth graphs
  • Reverse DNS Management
  • Live Rescue System
  • Hardware statistics
  • Restart the operating system – Fully redesigned operating system installation platform for more flexibility and newer operating system options (NEW FUNCTION!!)
  • Server Status Monitor – Monitors the status of ICMP pings, the TCP port status, or the HTTP response code (NEW FUNCTION!!)
  • Secure VPN Access – Access to the IPMI interface of your extended server management server (NEW FUNCTION!!)
  • Bandwidth Usage Reports – Detailed bandwidth usage reports available for each dedicated server (NEW FUNCTION!!)
  • Server Deployment – New server deployment system for automatically assigning servers that match the purchased upgrades, if available (NEW FUNCTION!!)

Upgrade options:
~~~~~~~~~~~~~~~~

Operating Systems:

  • Windows Server Standard – $ 25.00 / month
  • All supported Linux distributions

Control Panels:

  • DirectAdmin
  • InterWorx
  • cPanel / WHM VPS
  • cPanel / WHM Dedicated

IP addresses:

  • Additional routing / 30 – $ 4.00 / month
  • Additional routing / 29 – $ 6.00 / mo
  • Additional routing / 28 – $ 10.00 / mo
  • Additional routing / 27 – $ 16.00 / mo

All orders are automatically checked for verification. Once the review is complete, your order will be automatically provisioned using the operating system selected in the order form. If your operating system or your hardware does not meet the standard or the automatic order verification fails, delivery delays may occur. We guarantee a delivery time of one hour or less for base orders that pass our automated verification process!

If you have any questions, please send an e-mail to sales (@) servercomplete (.) Com